check that lower bound on term expansion drain is below the len of the term expansion vector, queue (#416)
This commit is contained in:
@@ -181,6 +181,7 @@ impl<'a> TermStream<'a> {
|
||||
te_len,
|
||||
te_queue_len,
|
||||
);
|
||||
|
||||
let goal_expansion_additions = self.wam.code_repo.truncate_terms(
|
||||
(clause_name!("goal_expansion"), 2),
|
||||
ge_len,
|
||||
|
||||
Reference in New Issue
Block a user