diff --git a/Control/CP/FD/GecodeExample.hs b/Control/CP/FD/GecodeExample.hs
--- a/Control/CP/FD/GecodeExample.hs
+++ b/Control/CP/FD/GecodeExample.hs
@@ -14,7 +14,8 @@
   example_min_main_single_gecode,
   example_min_main_single_expr_gecode,
   example_min_main_coll_expr_gecode,
-  module Control.CP.FD.Example 
+  setSearchMinimize,
+  module Control.CP.FD.Example
 ) where
 
 import System.Environment (getArgs)
diff --git a/monadiccp-gecode.cabal b/monadiccp-gecode.cabal
--- a/monadiccp-gecode.cabal
+++ b/monadiccp-gecode.cabal
@@ -1,5 +1,5 @@
 Name:			monadiccp-gecode
-Version:		0.1.1
+Version:		0.1.2
 Description:		Gecode extension for the Monadic Constraint Programming Framework (code generator and runtime solver backend)
 License:		BSD3
 License-file:		LICENSE