sigh

leanprover · Oct 14, 2024 · 74a282a · 74a282a
1 parent bf22721
commit 74a282a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Main.lean b/Main.lean
@@ -77,7 +77,9 @@ unsafe def main (args : List String) : IO UInt32 := do
     let sp ← searchPathRef.get
     for path in (← SearchPath.findAllWithExt sp "olean") do
       if let some m := (← searchModuleNameOfFileName path sp) then
+        IO.println s!"considering {m}"
         if target.isPrefixOf m then
+          IO.println s!"adding {m}"
           targetModules := targetModules.push m
           found := true
     if not found then