diff --git a/library/gecode/gecode4_yap.cc b/library/gecode/gecode4_yap.cc
index f7aaffc19..b110d252f 100644
--- a/library/gecode/gecode4_yap.cc
+++ b/library/gecode/gecode4_yap.cc
@@ -525,7 +525,7 @@ extern "C"
     opt.threads = threads;
     opt.c_d = c_d;
     opt.a_d = a_d;
-    opt.cutoff = cutoff;
+    opt.cutoff = cutoff = NULL;
     opt.nogoods_limit = nogoods_limit;
     opt.clone = clone;
     opt.stop = NULL;
diff --git a/library/gecode/gecode4_yap_hand_written.yap b/library/gecode/gecode4_yap_hand_written.yap
index 13eb5c7b1..4fd8d7d5d 100644
--- a/library/gecode/gecode4_yap_hand_written.yap
+++ b/library/gecode/gecode4_yap_hand_written.yap
@@ -567,7 +567,7 @@ reify(Space,BVar,Mode,R) :-
 	gecode_new_reify(Space_,BVar_,Mode_,R_),
 	R = 'Reify'(R_).
 
-gecode_search_options_init(search_options(0,1.0,8,2,'RM_NONE',0,0,0)).
+gecode_search_options_init(search_options(0,1.0,8,2,'RM_NONE',0,1,0)).
 gecode_search_options_offset(restart,1).
 gecode_search_options_offset(threads,2).
 gecode_search_options_offset(c_d    ,3).