tpdb 2.8.4 → 2.8.5

raw patch · 2 files changed

+2/−4 lines, 2 files

Files

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

src/TPDB/CPF/Proof/Write.hs view

@@ -177,9 +177,7 @@           [ toContents $ trsTerminationProof_Standard p           ]       StringReversal {} -> rmkel "stringReversal" $ concat-          [ -- toContents $ trs p-            toContents $ standard $ trs p-          , toContents $ relative $ trs p+          [ toContents $ trs p           , toContents $ trsTerminationProof p           ]       FlatContextClosure {} -> rmkel "flatContextClosure" $ concat $

tpdb.cabal view

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