remove unused attribute_goal/2

2021-02-18 20:33:27 +01:00
parent 3eb6357892
commit 2c1b7e3b14
1 changed files with 0 additions and 4 deletions
--- 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) } -> []