1 files changed, 0 insertions, 1 deletions
diff --git a/src/checker.rs b/src/checker.rs
index adb5012..fdba181 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -16,7 +16,6 @@ impl CheckerState {
         let Programme(decls) = prog;
 
         for decl in decls {
-            debug!(%self, %decl);
             match decl {
                 Decl::Set { name, set } => {
                     self.assert_unbound_set(name)?;