diff --git a/smtLib.cabal b/smtLib.cabal
--- a/smtLib.cabal
+++ b/smtLib.cabal
@@ -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