--- gecode/kernel/core.cc       (revision 3998)
+++ gecode/kernel/core.cc       (working copy)
@@ -50,6 +50,7 @@
     a_actors.init_delete();
     b_status = static_cast<Branching*>(&a_actors);
     b_commit = static_cast<Branching*>(&a_actors);
+    branch_id = 0;
     n_sub = 0;
     sub = NULL;
   }
@@ -265,7 +266,7 @@
    *
    */
 
-  Space::Space(bool share, Space& s) : mm(s.mm) {
+  Space::Space(bool share, Space& s) : mm(s.mm), branch_id(s.branch_id) {
     // Initialize variable entry points
     for (int i=0; i<VTI_LAST; i++) {
       vars[i]=NULL;