From 54d7f92f2bc8a5ade6d204500dcb86840197e298 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Sun, 28 Nov 2021 21:39:55 +0100
Subject: [PATCH] feat: Count declarations that were processed

---
 Main.lean | 1 +
 1 file changed, 1 insertion(+)

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 ()