From 8839959fd05a04f2d37461ab842d23107b104d20 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 1 May 2026 10:56:10 +0100
Subject: add monotic counters, fix element binding case in app->for

---
 src/checker.rs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/checker.rs')

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)?;
-- 
cgit v1.3.1