delete freeze attribute in freeze::attribute_goals//1
@@ -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)].
