From a1b576452724c55cc3f098ca5d1253689d978664 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 5 Sep 2013 00:47:37 +0100
Subject: [PATCH] gecode: clone by default (oops)

---
 library/gecode/gecode4_yap.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;