smtLib 1.0.5 → 1.0.6

raw patch · 3 files changed

+7/−3 lines, 3 files

Files

smtLib.cabal +1/−1
src/SMTLib1.hs +3/−1
src/SMTLib2.hs +3/−1

smtLib.cabal view

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

src/SMTLib1.hs view

@@ -26,8 +26,10 @@   , logic   , assume   , goal++  , PP(..)   ) where  import SMTLib1.AST-import SMTLib1.PP()+import SMTLib1.PP

src/SMTLib2.hs view

@@ -17,8 +17,10 @@   , InfoFlag(..)    , app++  , PP(..)   ) where  import SMTLib2.AST-import SMTLib2.PP()+import SMTLib2.PP