1 files changed, 2 insertions, 1 deletions
diff --git a/src/checker.rs b/src/checker.rs
index 2474bab..f94fccc 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -16,7 +16,7 @@ impl CheckerState {
         let Programme(decls) = prog;
 
         for decl in decls {
-            debug!(%decl);
+            print!("{decl} ... ");
             self.reset_binders();
             match decl {
                 Decl::Set { name, set } => {
@@ -47,6 +47,7 @@ impl CheckerState {
                     self.add_instance(name.clone(), instance.into(), signature)
                 }
             }?;
+            println!("Ok");
         }
         debug!(%self);
         Ok(())