Remove printlns

egraphs-good · Aug 28, 2024 · af82054 · af82054
1 parent 1eb4002
commit af82054
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/to_egraph_serialized.rs b/src/to_egraph_serialized.rs
@@ -36,10 +36,6 @@ pub fn get_term(
         eclasses.insert(enode.eclass.clone());
     }
     result_egraph.root_eclasses = egraph.root_eclasses.clone();
-    println!("eclasses in original: {}", eclasses.len());
-    println!("eclasses in result: {}", result.choices.len());
-    println!("original egraph size: {}", egraph.nodes.len());
-    println!("result egraph size: {}", result_egraph.nodes.len());
     result_egraph
 }