smtLib 1.0.8 → 1.0.9

raw patch · 3 files changed

+3/−1 lines, 3 files

Files

smtLib.cabal +1/−1
src/SMTLib1/PP.hs +1/−0
src/SMTLib2/PP.hs +1/−0

smtLib.cabal view

@@ -1,5 +1,5 @@ Name:           smtLib-Version:        1.0.8+Version:        1.0.9 License:        BSD3 License-file:   LICENSE Author:         Iavor S. Diatchki

src/SMTLib1/PP.hs view

@@ -1,6 +1,7 @@ {-# LANGUAGE Safe #-} module SMTLib1.PP where +import Prelude hiding ((<>)) import SMTLib1.AST import Text.PrettyPrint

src/SMTLib2/PP.hs view

@@ -1,6 +1,7 @@ {-# LANGUAGE Safe #-} module SMTLib2.PP where +import Prelude hiding ((<>)) import SMTLib2.AST import Text.PrettyPrint import Numeric