tweak

sullyj3 · Jul 29, 2024 · 261076c · 261076c
1 parent a41d3c5
commit 261076c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Sand/SandDaemon.lean b/src/Sand/SandDaemon.lean
@@ -33,7 +33,7 @@ def playTimerSound : IO Unit := do
 def Timers := HashMap TimerId (Timer × TimerState)
  deriving EmptyCollection
 
-def Timers.erase (timers : Timers) (id : TimerId) : Timers := HashMap.erase timers id
+def Timers.erase : Timers → TimerId → Timers := HashMap.erase
 
 structure DaemonState where
  nextTimerId : IO.Mutex Nat