1 files changed, 1 insertions, 0 deletions
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 } => {