tpdb 2.8.1 → 2.8.2

raw patch · 2 files changed

+6/−4 lines, 2 files

Files

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

@@ -122,7 +122,7 @@       RIsEmpty -> rmkel "rIsEmpty" []       DpTrans {} -> rmkel "dpTrans" $ concat           [ toContents $ dptrans_dps p-          , rmkel "markedSymbols" [ nospaceString "true" ]+          -- , rmkel "markedSymbols" [ nospaceString "true" ]           , toContents $ dptrans_dpProof p           ]       StringReversal {} -> rmkel "stringReversal" $ concat@@ -297,10 +297,12 @@ instance XmlContent DepGraphComponent where     toContents dgc = rmkel "component" $ concat $         [ {- rmkel "dps" $ -} toContents $ dgcDps dgc+{-                 , rmkel "realScc"             --  $ toContents $ dgcRealScc dgc            -- NO, Bool is encoded as text, not as attribute-            $ toContents $ dgcRealScc dgc +            $ toContents $ dgcRealScc dgc+-}         ] ++          [ {- rmkel "dpProof" $ -} toContents $ dgcDpProof dgc         | dgcRealScc dgc

@@ -1,7 +1,7 @@ Cabal-Version: 3.8  Name: tpdb-Version: 2.8.1+Version: 2.8.2  Author: Alexander Bau, Johannes Waldmann Maintainer: Johannes Waldmann@@ -20,7 +20,7 @@  Homepage: https://github.com/jwaldmann/haskell-tpdb -tested-with: GHC == 9.6.2+tested-with: GHC == 9.12.2            Extra-Source-Files:    test/*.xml, test/*.trs ,  test/*.srs, test/*.cpf