diff --git a/Main.lean b/Main.lean
index 44a838d..8a6c700 100644
--- a/Main.lean
+++ b/Main.lean
@@ -7,4 +7,5 @@ def main : IO Unit := do
   -- This should be set by lake at some point
   setSearchPath ["/home/nix/Desktop/formal_verification/lean/mathlib4/build/lib", "/home/nix/.elan/toolchains/leanprover--lean4---nightly-2021-11-24/lib/lean"]
   let doc ← load [`Mathlib]
+  IO.println s!"Processed {doc.size} declarations"
   return ()