diff --git a/Jukebox/Provers/E.hs b/Jukebox/Provers/E.hs
--- a/Jukebox/Provers/E.hs
+++ b/Jukebox/Provers/E.hs
@@ -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] ] ++
diff --git a/jukebox.cabal b/jukebox.cabal
--- a/jukebox.cabal
+++ b/jukebox.cabal
@@ -1,5 +1,5 @@
 Name: jukebox
-Version: 0.1
+Version: 0.1.1
 Cabal-version: >= 1.8
 Build-type: Simple
 Author: Nick Smallbone