From d1e172501d8ee745afcf9610516b0993cb9ff410 Mon Sep 17 00:00:00 2001
From: pca006132 <jl@m-labs.hk>
Date: Mon, 28 Feb 2022 23:10:05 +0800
Subject: [PATCH] nac3artiq: remove debug messages

---
 nac3artiq/src/lib.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/nac3artiq/src/lib.rs b/nac3artiq/src/lib.rs
index 99d257e5..c63be8e3 100644
--- a/nac3artiq/src/lib.rs
+++ b/nac3artiq/src/lib.rs
@@ -434,7 +434,6 @@ impl Nac3 {
         embedding_map: &PyAny,
         py: Python,
     ) -> PyResult<()> {
-        println!("start compilation");
         let (mut composer, _, _) = TopLevelComposer::new(
             self.builtins.clone(),
             ComposerConfig { kernel_ann: Some("Kernel"), kernel_invariant_ann: "KernelInvariant" },
@@ -651,7 +650,6 @@ impl Nac3 {
                 unreachable!()
             }
         };
-        println!("typecheck complete");
 
         let task = CodeGenTask {
             subst: Default::default(),