Fixed pop to clear pending

egraphs-good · Mar 8, 2024 · 2c1c95f · 2c1c95f
1 parent 1af4039
commit 2c1c95f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/raw/semi_persistent1.rs b/src/raw/semi_persistent1.rs
@@ -145,6 +145,7 @@ impl<L: Language, D, U: AsUnwrap<UndoLog>> RawEGraph<L, D, U> {
             memo_log_count,
             pop_parents_count,
         } = info;
+        self.pending.clear();
         self.pop_memo1(memo_log_count);
         self.pop_unions1(union_count, pop_parents_count, split);
         self.pop_nodes1(node_count);

diff --git a/src/raw/semi_persistent2.rs b/src/raw/semi_persistent2.rs
@@ -163,6 +163,7 @@ impl<L: Language, D, U: AsUnwrap<UndoLog>> RawEGraph<L, D, U> {
             memo_log_count,
             pop_parents_count,
         } = info;
+        self.pending.clear();
         self.pop_memo2(memo_log_count);
         self.pop_parents2(pop_parents_count, node_count);
         self.pop_unions2(union_count, node_count, state, clear, mk_data, handle_eqv);