remove unused function

sullyj3 · Jul 29, 2024 · a41d3c5 · a41d3c5
1 parent 62c0992
commit a41d3c5
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/Sand/SandDaemon.lean b/src/Sand/SandDaemon.lean
@@ -132,10 +132,6 @@ def DaemonState.initial : IO DaemonState := do
  timers := (← IO.Mutex.new ∅)
  }
 
-partial def busyWaitTil (due : Nat) : IO Unit := do
- while (← IO.monoMsNow) < due do
- pure ()
-
 def addTimer (duration : Duration) : CmdHandlerT IO Unit := do
  let {clientConnectedTime, state, ..} ← read