show remaining queue/2 attributes as residual goals

This lets us verify that all attributes are correctly removed earlier.

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index fd5d9d18fea4d59f73cd95dae9d87678d085267c..afc6f8cdacdee4a480d1bd4e07cd67e0bcc3aaab 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -7683,10 +7683,6 @@ 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),_)),