From 406d3520f1a276914abba9d668cd6bbaf4fced6e Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 1 Dec 2019 14:43:27 -0700 Subject: [PATCH] delete freeze attribute in freeze::attribute_goals//1 --- src/prolog/lib/freeze.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)]. -- 2.54.0