delete unused type

sullyj3 · Aug 3, 2024 · 13f21c8 · 13f21c8
1 parent b585e44
commit 13f21c8
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/Sand/SandDaemon.lean b/src/Sand/SandDaemon.lean
@@ -187,10 +187,6 @@ def handleClient : CmdHandlerT IO Unit := do
 
 partial def forever (act : IO α) : IO β := act *> forever act
 
-inductive EnvFdError
- | varNotFound
- | couldntParse
-
 def envFd : IO (Option UInt32) := OptionT.run do
  let str ← OptionT.mk <| IO.getEnv "SAND_SOCKFD"
  let some n := str.toNat?