From aa7b8e52f37681da803585ea80764f7a28edcc4f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 24 Dec 2022 00:31:39 -0700 Subject: [PATCH] use '$enqueue_attr_var' when adding attributes only --- src/lib/atts.pl | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/lib/atts.pl b/src/lib/atts.pl index a9369426..372a9bdd 100644 --- a/src/lib/atts.pl +++ b/src/lib/atts.pl @@ -41,8 +41,7 @@ ( L \= Attr -> nonvar(Ls), '$get_from_list'(Ls, V, Attr) - ; L = Attr, - '$enqueue_attr_var'(V) + ; L = Attr ). '$put_attr'(V, Attr) :- @@ -65,8 +64,7 @@ nonvar(Att), ( Att \= Attr -> '$del_attr_buried'(Ls0, Ls1, V, Attr) - ; '$enqueue_attr_var'(V), - '$del_attr_head'(V), + ; '$del_attr_head'(V), '$del_attr'(Ls1, V, Attr) ). @@ -84,8 +82,7 @@ ; Ls1 = [Att | Ls2] -> ( Att \= Attr -> '$del_attr_buried'(Ls1, Ls2, V, Attr) - ; '$enqueue_attr_var'(V), - '$del_attr_non_head'(Ls0), %% set tail of Ls0 = tail of Ls1. can be undone by backtracking. + ; '$del_attr_non_head'(Ls0), %% set tail of Ls0 = tail of Ls1. can be undone by backtracking. '$del_attr_step'(Ls1, V, Attr) ) ). -- 2.54.0