chore: drop debug prints (#681)

CQCL · Nov 13, 2023 · 40dfcf3 · 40dfcf3
1 parent 144e91f
commit 40dfcf3
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/extension/infer.rs b/src/extension/infer.rs
@@ -702,8 +702,6 @@ impl UnificationContext {
                 solutions.insert(m, solution);
             }
         }
-        println!("{:?}", relations.node_map);
-        println!("{:?}", relations.graph);
 
         // Process the strongly-connected components. petgraph/sccs() returns these
         // depended-upon before dependant, as we need.