From: Markus Triska <triska@metalevel.at>
Date: Tue, 11 Apr 2023 19:16:02 +0000 (+0200)
Subject: remove no longer needed clpz_relation attributes
X-Git-Tag: v0.9.2~154^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=94efb9ffe33fb059d4529e04372f4993b4503f88;p=scryer-prolog.git

remove no longer needed clpz_relation attributes
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 588c3b37..ab042152 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -4490,14 +4490,20 @@ run_propagator(pgeq(A,B), MState) -->
 
 run_propagator(rel_tuple(R, Tuple), MState) -->
         { get_attr(R, clpz_relation, Relation) },
-        (   { ground(Tuple) } -> kill(MState), { memberchk(Tuple, Relation) }
+        (   { ground(Tuple) } ->
+            kill(MState),
+            { del_attr(R, clpz_relation),
+              memberchk(Tuple, Relation) }
         ;   { relation_unifiable(Relation, Tuple, Us, false, Changed),
               Us = [_|_] },
             (   { Tuple = [First,Second], ( ground(First) ; ground(Second) ) } ->
                 kill(MState)
             ;   []
             ),
-            (   { Us = [Single] } -> kill(MState), Single = Tuple
+            (   { Us = [Single] } ->
+                kill(MState),
+                { del_attr(R, clpz_relation) },
+                Single = Tuple
             ;   { Changed } ->
                 { put_attr(R, clpz_relation, Us),
                 disable_queue },