diff --git a/PropLogic.cabal b/PropLogic.cabal
--- a/PropLogic.cabal
+++ b/PropLogic.cabal
@@ -1,5 +1,5 @@
 Name:           PropLogic
-Version:        0.9.0.1
+Version:        0.9.0.2
 Cabal-Version:  >= 1.2
 Build-type:     Simple
 License:        BSD3
@@ -17,7 +17,7 @@
 
 Library
   exposed-modules:
-    PropLogic, Olist, PropLogicCore, DefaultPropLogic, FastPropLogic, PropLogicTest, Main
+    PropLogic, Olist, PropLogicCore, DefaultPropLogic, FastPropLogic, PropLogicTest
   other-modules:
     TextDisplay, Costack
   build-depends: