diff --git a/Satchmo/Data.hs b/Satchmo/Data.hs
--- a/Satchmo/Data.hs
+++ b/Satchmo/Data.hs
@@ -4,7 +4,7 @@
 module Satchmo.Data 
 
 ( CNF, cnf, singleton, clauses, foldr, filter, size
-, Clause, clause, literals, without
+, Clause (CTrue), clause, literals, without
 , Literal, literal, nicht, positive, variable
 , Variable 
 )
diff --git a/Satchmo/SAT/Mini.hs b/Satchmo/SAT/Mini.hs
--- a/Satchmo/SAT/Mini.hs
+++ b/Satchmo/SAT/Mini.hs
@@ -61,6 +61,7 @@
       -- hPutStrLn stderr $ "fresh: " ++ show (x, l)
       return l
 
+  emit CTrue = return ()
   emit cl = SAT $ \ s -> do
       let conv l = ( if positive l then id else API.neg ) 
                  $ toEnum
diff --git a/satchmo.cabal b/satchmo.cabal
--- a/satchmo.cabal
+++ b/satchmo.cabal
@@ -1,5 +1,5 @@
 Name:           satchmo
-Version:        2.9.7
+Version:        2.9.7.1
 
 License:        GPL
 License-file:	gpl-2.0.txt