Remove debugging code (#206)

This was accidentally left in after a previous fix.
Consensys · Jun 18, 2024 · a5d8bcf · a5d8bcf
1 parent 7a8d41b
commit a5d8bcf
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/compiler/generator.rs b/src/compiler/generator.rs
@@ -1734,7 +1734,6 @@ pub(crate) fn reduce_toplevel(
                 // Perspectives are just multiplicative coefficients, and are
                 // controlled exceptions to the usual loobean typing rules
                 let body_type = body.t();
-                println!("APPLYING PERSPECTIVE");
                 Intrinsic::Mul
                     .unchecked_call(&[persp_guard, body])
                     .with_context(|| anyhow!("constraint {}", name))?