tpdb 2.7.2 → 2.7.3

raw patch · 2 files changed

+5/−4 lines, 2 files

Files

• src/TPDB/CPF/Proof/Type.hs +4/−3
• tpdb.cabal +1/−1

@@ -22,12 +22,13 @@ import TPDB.Plain.Write () import Data.Typeable import TPDB.Pretty-import Data.Text+import Data.Text (Text)+import qualified Data.Text as T import TPDB.Xml (XmlContent) import GHC.Generics import Data.Hashable import Data.Kind-import qualified Data.Text.Lazy as T+import qualified Data.Text.Lazy as TL  data CertificationProblem =      CertificationProblem { input :: CertificationProblemInput @@ -314,7 +315,7 @@     SymSharp s -> pretty s <> "#"     SymLabel s l -> pretty s <> "_" <> pretty l -instance Show Symbol where show = T.unpack . render . pretty+instance Show Symbol where show = TL.unpack . render . pretty   data Label = LblNumber [Integer]

@@ -1,7 +1,7 @@ Cabal-Version: 3.0  Name: tpdb-Version: 2.7.2+Version: 2.7.3  Author: Alexander Bau, Johannes Waldmann Maintainer: Johannes Waldmann