From a5d8bcfd31c957b550b1d179ec3d268f5174b8a0 Mon Sep 17 00:00:00 2001 From: David Pearce Date: Tue, 18 Jun 2024 21:29:52 +1200 Subject: [PATCH] Remove debugging code (#206) This was accidentally left in after a previous fix. --- src/compiler/generator.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/compiler/generator.rs b/src/compiler/generator.rs index f6ca754..97258e7 100644 --- 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))?