Merge pull request #241 from oflatt/oflatt-fix-statistics-pop

Fix bug in statistics tracking when popping
egraphs-good · Oct 2, 2023 · 18cd376 · 18cd376
2 parents 1d86ab0 + 02545de
commit 18cd376
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -410,13 +410,14 @@ impl EGraph {
                 let recent_run_report = self.recent_run_report.clone();
                 let overall_run_report = self.overall_run_report.clone();
                 let messages = self.msgs.clone();
+
                 *self = e;
                 self.extract_report = extract_report.or(self.extract_report.clone());
                 // We union the run reports, meaning
                 // that statistics are shared across
                 // push/pop
                 self.recent_run_report = recent_run_report.or(self.recent_run_report.clone());
-                self.overall_run_report = self.overall_run_report.union(&overall_run_report);
+                self.overall_run_report = overall_run_report;
                 self.msgs.extend(messages);
                 Ok(())
             }