jukebox 0.2.13 → 0.2.13.1

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

jukebox.cabal +1/−1
src/Jukebox/Toolbox.hs +1/−1

jukebox.cabal view

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

src/Jukebox/Toolbox.hs view

@@ -211,7 +211,7 @@         part i = show i ++ "/" ++ show (length conjectures)         result x hint = do           message globals ("SZS status " ++ x)-          putStrLn ""+          unless (quiet globals) $ putStrLn ""           message globals hint  inferBox :: OptionParser (Problem Clause -> IO (Problem Clause, Type -> Type))