diff --git a/library/gecode/gecode4_yap.cc b/library/gecode/gecode4_yap.cc
index b110d252f..f7aaffc19 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 = NULL;
+    opt.cutoff = cutoff;
     opt.nogoods_limit = nogoods_limit;
     opt.clone = clone;
     opt.stop = NULL;