From 2c1b7e3b14bb4f9473f517856d4e14fece21124c Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Thu, 18 Feb 2021 20:33:27 +0100
Subject: [PATCH] remove unused attribute_goal/2

---
 src/lib/clpz.pl | 4 ----
 1 file changed, 4 deletions(-)

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) } -> []
-- 
2.54.0