From: Markus Triska <triska@metalevel.at>
Date: Tue, 11 Apr 2023 19:19:10 +0000 (+0200)
Subject: actually disable and reenable the queue
X-Git-Tag: v0.9.2~154^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=be45672e223a86c4a85919a1be5c155281e7a566;p=scryer-prolog.git

actually disable and reenable the queue
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index ab042152..2c412ac3 100644
--- 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
             ;   []
             )
         ).