tpdb 2.8.5 → 2.8.6

raw patch · 2 files changed

+3/−4 lines, 2 files

Files

• src/TPDB/CPF/Proof/Write.hs +2/−3
• tpdb.cabal +1/−1

@@ -171,11 +171,10 @@ instance XmlContent (TrsTerminationProof Relative) where    parseContents = error "parseContents not implemented" +   toContents p@SIsEmpty{} = +          toContents $ trsTerminationProof_Standard p    toContents p = rmkel "trsTerminationProof" $ case p of       RIsEmpty -> rmkel "rIsEmpty" []-      SIsEmpty {} -> rmkel "sIsEmpty" $ concat-          [ toContents $ trsTerminationProof_Standard p-          ]       StringReversal {} -> rmkel "stringReversal" $ concat           [ toContents $ trs p           , toContents $ trsTerminationProof p

@@ -1,7 +1,7 @@ Cabal-Version: 3.8  Name: tpdb-Version: 2.8.5+Version: 2.8.6  Author: Alexander Bau, Johannes Waldmann Maintainer: Johannes Waldmann