jukebox 0.5.6 → 0.5.7

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

• jukebox.cabal +1/−1
• src/Jukebox/TPTP/Print.hs +1/−1

@@ -1,5 +1,5 @@ Name: jukebox-Version: 0.5.6+Version: 0.5.7 Cabal-version: >= 1.10 Build-type: Simple Author: Nick Smallbone

@@ -123,7 +123,7 @@ pPrintAnnotProof annots0 =   vcat $     [ vcat (pPrintDecls "tff" inps) | not (isReallyFof inps) ] ++-    [ pPrintClause (family x) (tag inp) k (pp x:rest) <+> text (show (ident inp))+    [ pPrintClause (family x) (tag inp) k (pp x:rest)     | (inp, (k, rest)) <- annots,       let x = what inp ]   where