fix as suggested by @oflatt

egraphs-good · Dec 27, 2023 · fa73334 · fa73334
1 parent 6662118
commit fa73334
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -78,9 +78,10 @@ fn main() {
 
     let start_time = std::time::Instant::now();
     let result = extractor.extract(&egraph, &egraph.root_eclasses);
-    result.check(&egraph);
-
     let us = start_time.elapsed().as_micros();
+
+    result.check(&egraph);
+
     let tree = result.tree_cost(&egraph, &egraph.root_eclasses);
     let dag = result.dag_cost(&egraph, &egraph.root_eclasses);