jukebox 0.1 → 0.1.1

raw patch · 2 files changed

+3/−3 lines, 2 files

Files

• Jukebox/Provers/E.hs +2/−2
• jukebox.cabal +1/−1

@@ -63,8 +63,8 @@   | otherwise = do     (code, str) <- popen (eprover flags) eflags                    (BS.pack (render (prettyProblem "fof" Normal (close prob mangleAnswer))))-    case code of-      ExitFailure code -> error $ "runE: E failed with exit code " ++ show code ++ ":\n" ++ BS.unpack str+    --case code of+    --  ExitFailure code -> error $ "runE: E failed with exit code " ++ show code ++ ":\n" ++ BS.unpack str     return (extractAnswer (open prob) (BS.unpack str))   where eflags = [ "--soft-cpu-limit=" ++ show n | Just n <- [timeout flags] ] ++                  ["--memory-limit=" ++ show n | Just n <- [memory flags] ] ++

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.1+Version: 0.1.1 Cabal-version: >= 1.8 Build-type: Simple Author: Nick Smallbone