From: Markus Triska <triska@metalevel.at>
Date: Thu, 18 Feb 2021 19:33:27 +0000 (+0100)
Subject: remove unused attribute_goal/2
X-Git-Tag: v0.9.0~150^2~15^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2c1b7e3b14bb4f9473f517856d4e14fece21124c;p=scryer-prolog.git

remove unused attribute_goal/2
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index ead80546..797aace8 100644
--- 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) } -> []