use copy_term_nat/2

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 8f9c6bf84f552721b5095b587b9279892eec2f6d..9b162a1968cb73232d0047a15006ca31aa47fb15 100644 (file)
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -6168,8 +6168,7 @@ with_local_attributes(Vars, Goal, Result) :-
                % we made during propagation, and unify the variables
                % in the thrown copy with Vars in order to get the
                % intended variables in Result.
-               asserta(nat_copy(Vars-Result)),
-               retract(nat_copy(Copy)),
+               copy_term_nat(Vars-Result, Copy),
                throw(local_attributes(Copy))),
               local_attributes(Vars-Result),
               true).