Make sure that the right post events are generated

Gecode · Dec 5, 2018 · 9b0c510 · 9b0c510
1 parent 2b6ca1c
commit 9b0c510
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/gecode/minimodel/bool-expr.cpp b/gecode/minimodel/bool-expr.cpp
@@ -619,12 +619,15 @@ namespace Gecode {
     return BoolExpr(BoolExpr(r,BoolExpr::NT_NOT),
                     BoolExpr::NT_OR,l);
   }
+
+
   /*
    * Posting Boolean expressions and relations
    *
    */
   BoolVar
   expr(Home home, const BoolExpr& e, const IntPropLevels& ipls) {
+    PostInfo pi(home);
     if (!home.failed())
       return e.expr(home,ipls);
     BoolVar x(home,0,1);
@@ -633,7 +636,7 @@ namespace Gecode {
 
   void
   rel(Home home, const BoolExpr& e, const IntPropLevels& ipls) {
-    if (home.failed()) return;
+    GECODE_POST;
     e.rel(home,ipls);
   }
 

diff --git a/gecode/minimodel/set-expr.cpp b/gecode/minimodel/set-expr.cpp
@@ -842,7 +842,6 @@ namespace Gecode {
     return x;
   }
 
-
 }
 
 #endif
-Original file line number
+Diff line change
@@ Expand Up / @@ -842,7 +842,6 @@ namespace Gecode { @@
         return x;
       }
     }
     #endif
@@ Expand Down @@