From d41ec67a632203992e11d4b100e2864e9a563fbf Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Wed, 7 May 2025 09:53:29 -0400
Subject: [PATCH] chore: Update Lean to v4.19.0

---
 Repl.lean      | 4 ++--
 lean-toolchain | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Repl.lean b/Repl.lean
index ce6a9df..0543482 100644
--- a/Repl.lean
+++ b/Repl.lean
@@ -14,7 +14,7 @@ structure Context where
 structure State where
   options : Protocol.Options := {}
   nextId : Nat := 0
-  goalStates : Std.HashMap Nat GoalState := Std.HashMap.empty
+  goalStates : Std.HashMap Nat GoalState := Std.HashMap.emptyWithCapacity
 
   env : Environment
   -- Parser state
@@ -225,7 +225,7 @@ def execute (command: Protocol.Command): MainM Json := do
   reset (_: Protocol.Reset): EMainM Protocol.StatResult := do
     let state ← getMainState
     let nGoals := state.goalStates.size
-    set { state with nextId := 0, goalStates := .empty }
+    set { state with nextId := 0, goalStates := .emptyWithCapacity }
     return { nGoals }
   stat (_: Protocol.Stat): EMainM Protocol.StatResult := do
     let state ← getMainState
diff --git a/lean-toolchain b/lean-toolchain
index b2153cd..7aca1d8 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.18.0
+leanprover/lean4:v4.19.0
-- 
2.44.1