Keep extract report across commands

otherwise it wont be preserved when after (pop) in de-sugared simplify
egraphs-good · Aug 23, 2023 · d860ca5 · d860ca5
1 parent dc08e24
commit d860ca5
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -926,8 +926,6 @@ impl EGraph {
 
     fn run_command(&mut self, command: NCommand, should_run: bool) -> Result<(), Error> {
         let pre_rebuild = Instant::now();
-        self.extract_report = None;
-        self.run_report = None;
         let rebuild_num = self.rebuild()?;
         if rebuild_num > 0 {
             log::info!(
@@ -938,8 +936,6 @@ impl EGraph {
 
         self.debug_assert_invariants();
 
-        self.extract_report = None;
-        self.run_report = None;
         match command {
             NCommand::SetOption { name, value } => {
                 let str = format!("Set option {} to {}", name, value);