smtLib 1.0.1 → 1.0.2

raw patch · 1 files changed

+1/−3 lines, 1 files

Files

• smtLib.cabal +1/−3

@@ -1,5 +1,5 @@ Name:           smtLib-Version:        1.0.1+Version:        1.0.2 License:        BSD3 License-file:   LICENSE Author:         Iavor S. Diatchki@@ -25,8 +25,6 @@     SMTLib2.Core     SMTLib2.BitVector     SMTLib2.Array--  other-modules:     SMTLib1.AST     SMTLib1.PP     SMTLib2.AST