remove unused attribute_goal/2

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index ead8054603c6e06ebd49ca902f50296912c2baeb..797aace8f333668a399659bef36e84d1b8b59118 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -7590,10 +7590,6 @@ clpz_gcc_occurred:attribute_goals(_) --> [].
 
 clpz_relation:attribute_goals(_) --> [].
 
-attribute_goal(Var, Goal) :-
-        phrase(attribute_goals(Var), Goals),
-        list_goal(Goals, Goal).
-
 attributes_goals([]) --> [].
 attributes_goals([propagator(P, State)|As]) -->
         (   { ground(State) } -> []