From 605c2337530fdd262add7f1ab894b1798e4a922f Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Mon, 4 May 2020 00:54:43 +0200
Subject: [PATCH] do not project queue/2 attributes to residual goals

---
 src/prolog/lib/clpz.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/prolog/lib/clpz.pl b/src/prolog/lib/clpz.pl
index 54c4b457..61d3e4b6 100644
--- a/src/prolog/lib/clpz.pl
+++ b/src/prolog/lib/clpz.pl
@@ -7424,6 +7424,10 @@ intervals_to_drep([A0-B0|Rest], Drep0, Drep) :-
         ),
         intervals_to_drep(Rest, Drep0 \/ D1, Drep).
 
+attribute_goals(X) -->
+        { get_atts(X, queue(_,_)) },
+        !,
+        { put_atts(X, -queue(_,_)) }.
 attribute_goals(X) -->
         % { get_attr(X, clpz, Attr), format("A: ~w\n", [Attr]) },
         { get_attr(X, clpz, clpz_attr(_,_,_,Dom,fd_props(Gs,Bs,Os),_)),
-- 
2.54.0