Removing junk

ethereum · Feb 3, 2025 · dcfa89e · dcfa89e
1 parent 07fa4a9
commit dcfa89e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/EVM/SymExec.hs b/src/EVM/SymExec.hs
@@ -94,7 +94,6 @@ groupPartials e = map (\g -> (into (length g), NE.head g)) grouped
   where
     getErr :: Expr End -> String
     getErr (Partial _ _ reason) = T.unpack $ formatPartialShort reason
-    -- getErr (EVM.SymExec.Unknown _) = "SMT result timeout/unknown"
     getErr _ = internalError "shouldn't happen"
     sorted = sort $ map getErr (filter isPartial e)
     grouped = NE.group sorted