diff --git a/src/prolog/lib/freeze.pl b/src/prolog/lib/freeze.pl index cca3888d..2fae5976 100644 --- 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)].