From 9b3fe7ceb8aa0b0f174a17e6e13b5d325c974979 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Tue, 5 May 2026 16:39:43 +0100
Subject: repair binding for nesting in for

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

(limited to 'src/checker.rs')

diff --git a/src/checker.rs b/src/checker.rs
index c381ba4..2474bab 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -16,6 +16,7 @@ impl CheckerState {
         let Programme(decls) = prog;
 
         for decl in decls {
+            debug!(%decl);
             self.reset_binders();
             match decl {
                 Decl::Set { name, set } => {
-- 
cgit v1.3.1