delete freeze attribute in freeze::attribute_goals//1

diff --git a/src/prolog/lib/freeze.pl b/src/prolog/lib/freeze.pl
index cca3888dd6e549542a14f2505ed293c7c531384e..2fae597679203a135c5749efdcbe90a30023e640 100644 (file)
--- a/src/prolog/lib/freeze.pl
+++ b/src/prolog/lib/freeze.pl
@@ -22,5 +22,6 @@ freeze(X, Goal) :-
     Fresh = X.
 
 attribute_goals(Var) -->
-    { get_atts(Var, frozen(Goals)) },
+    { get_atts(Var, frozen(Goals)),
+      put_atts(Var, -frozen(_)) },
     [freeze(Var, Goals)].