From fd4d3226a1b882dc0710a4c9e1e76ad80bd0dba9 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sun, 1 Oct 2023 21:58:58 -0700
Subject: [PATCH] Add ready message to indicate the main loop is up

---
 Main.lean               | 1 +
 Pantograph/Version.lean | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Main.lean b/Main.lean
index a490112..dc4b14f 100644
--- a/Main.lean
+++ b/Main.lean
@@ -108,6 +108,7 @@ unsafe def main (args: List String): IO Unit := do
       errToSorry := false
     })
     let coreM := metaM.run'
+    IO.println "ready."
     discard <| coreM.toIO coreContext { env := env }
   catch ex =>
     IO.println "Uncaught IO exception"
diff --git a/Pantograph/Version.lean b/Pantograph/Version.lean
index f179705..f450292 100644
--- a/Pantograph/Version.lean
+++ b/Pantograph/Version.lean
@@ -1,5 +1,5 @@
 namespace Pantograph
 
-def version := "0.2.4"
+def version := "0.2.5"
 
 end Pantograph
-- 
2.44.1