actually disable and reenable the queue

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index ab0421523d1cf5d2f6aacb95fe03bcccd2548a60..2c412ac390f0c11dfc786dc2d499936ff03dbeca 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -4505,10 +4505,10 @@ run_propagator(rel_tuple(R, Tuple), MState) -->
                 { del_attr(R, clpz_relation) },
                 Single = Tuple
             ;   { Changed } ->
-                { put_attr(R, clpz_relation, Us),
-                disable_queue },
+                { put_attr(R, clpz_relation, Us) },
+                disable_queue,
                 tuple_domain(Tuple, Us),
-                { enable_queue }
+                enable_queue
             ;   []
             )
         ).