diff --git a/src/raw/semi_persistent1.rs b/src/raw/semi_persistent1.rs index 9162b7ae..e71b3dde 100644 --- a/src/raw/semi_persistent1.rs +++ b/src/raw/semi_persistent1.rs @@ -145,6 +145,7 @@ impl> RawEGraph { 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 index 3e321e9a..31639515 100644 --- a/src/raw/semi_persistent2.rs +++ b/src/raw/semi_persistent2.rs @@ -163,6 +163,7 @@ impl> RawEGraph { 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);