use copy_term_nat/2

2023-06-27 22:37:23 +02:00
parent 16f281e3d1
commit ceb276b249
1 changed files with 1 additions and 2 deletions
--- 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).