diff --git a/Setup.hs b/Setup.hs
--- a/Setup.hs
+++ b/Setup.hs
@@ -1,4 +1,4 @@
-module Main(main)
+module Main ( main ) where
 
 import Distribution.Simple
 
diff --git a/opentheory.cabal b/opentheory.cabal
--- a/opentheory.cabal
+++ b/opentheory.cabal
@@ -1,5 +1,5 @@
 name: opentheory
-version: 1.196
+version: 1.197
 category: Formal Methods
 synopsis: The standard theory library
 license: MIT
@@ -10,13 +10,13 @@
 maintainer: Joe Leslie-Hurd <joe@gilith.com>
 description:
   The standard theory library - this package was automatically generated
-  from the OpenTheory package base-1.196
+  from the OpenTheory package base-1.197
 
 library
   build-depends:
     base >= 4.0 && < 5.0,
     QuickCheck >= 2.4.0.1 && < 3.0,
-    opentheory-primitive >= 1.4 && < 2.0
+    opentheory-primitive >= 1.5 && < 2.0
   hs-source-dirs: src
   ghc-options: -Wall
   exposed-modules:
@@ -28,7 +28,7 @@
   build-depends:
     base >= 4.0 && < 5.0,
     QuickCheck >= 2.4.0.1 && < 3.0,
-    opentheory-primitive >= 1.4 && < 2.0
+    opentheory-primitive >= 1.5 && < 2.0
   hs-source-dirs: src
   ghc-options: -Wall
   main-is: Test.hs