From 249b613e3659078444621947cc3120c0eea114f9 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 12 Oct 2019 19:57:08 -0600 Subject: [PATCH] remove nondeterminism from put_atts as a result of lists.pl reversion --- src/prolog/lib/atts.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prolog/lib/atts.pl b/src/prolog/lib/atts.pl index 3fa4b7f3..25a84fc5 100644 --- a/src/prolog/lib/atts.pl +++ b/src/prolog/lib/atts.pl @@ -108,7 +108,7 @@ get_attrs_var_check --> put_attrs(Name/Arity) --> put_attr(Name, Arity), { numbervars([Var, Attr], 0, _) }, - [(put_atts(Var, Attr) :- lists:maplist(put_atts(Var), Attr))]. + [(put_atts(Var, Attr) :- lists:maplist(put_atts(Var), Attr), !)]. put_attrs((Name/Arity, Atts)) --> { nonvar(Atts) }, put_attr(Name, Arity), -- 2.54.0