diff --git a/software/gecode/gecode/flatzinc/complete.cpp b/software/gecode/gecode/flatzinc/complete.cpp
index 547e535..ca977f7 100644
--- a/software/gecode/gecode/flatzinc/complete.cpp
+++ b/software/gecode/gecode/flatzinc/complete.cpp
@@ -53,7 +53,7 @@ namespace Gecode { namespace FlatZinc {
   ExecStatus Complete::propagate(Space &home, const ModEventDelta &med) {
     assert(x0.assigned());
     (*c) = x0.val();
-		return ES_FAILED;
+    return home.ES_SUBSUMED(*this);
   }
 
   ExecStatus Complete::post(Home home, BoolView x0, std::shared_ptr<bool> c) {
diff --git a/software/gecode/gecode/flatzinc/flatzinc.cpp b/software/gecode/gecode/flatzinc/flatzinc.cpp
index be2bb10..7959cc4 100644
--- a/software/gecode/gecode/flatzinc/flatzinc.cpp
+++ b/software/gecode/gecode/flatzinc/flatzinc.cpp
@@ -791,6 +791,7 @@ namespace Gecode { namespace FlatZinc {
       intVarCount = f.intVarCount;
 
       restart_complete.update(*this, f.restart_complete);
+      complete_marker = f.complete_marker;
       restart_status.update(*this, f.restart_status);
       int_uniform_var.update(*this, f.int_uniform_var);
       int_uniform_lb = f.int_uniform_lb;