From be45672e223a86c4a85919a1be5c155281e7a566 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 11 Apr 2023 21:19:10 +0200 Subject: [PATCH] actually disable and reenable the queue --- src/lib/clpz.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 ; [] ) ). -- 2.54.0