feat: remove useless variable

algebraic-dev · algebraic-dev · commit 4059568c1fb4 · 2025-11-01T13:13:45.000-03:00
diff --git a/src/Std/Internal/Http/Server/Connection.lean b/src/Std/Internal/Http/Server/Connection.lean
@@ -97,8 +97,6 @@ private def handle
 
   let mut waitingResponse := false
 
-  let mut t := 0
-
   while ¬machine.halted ∧ machine.writer.outputData.isEmpty do
     let (newMachine, step) := machine.step
     machine := newMachine
