gecode: clone by default

2013-09-05 00:46:00 +01:00
parent ef82f25594
commit 9932aff5c4
2 changed files with 2 additions and 2 deletions
--- 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;