gecode: clone by default (oops)

2013-09-05 00:47:37 +01:00 · 2013-09-05 00:47:37 +01:00 · a1b5764527
parent 9932aff5c4
commit a1b5764527
1 changed files with 1 additions and 1 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 = NULL;
+    opt.cutoff = cutoff;
    opt.nogoods_limit = nogoods_limit;
    opt.clone = clone;
    opt.stop = NULL;