From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 13 Oct 2019 01:57:08 +0000 (-0600)
Subject: remove nondeterminism from put_atts as a result of lists.pl reversion
X-Git-Tag: v0.8.110~8
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=249b613e3659078444621947cc3120c0eea114f9;p=scryer-prolog.git

remove nondeterminism from put_atts as a result of lists.pl reversion
---

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),