From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 28 Apr 2020 07:39:34 +0000 (-0600)
Subject: modify domain.pl example (#347)
X-Git-Tag: v0.8.123~105
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ab77a1cbc0ab3c23dca374e9ca4d8364b5143817;p=scryer-prolog.git

modify domain.pl example (#347)
---

diff --git a/src/prolog/examples/domain.pl b/src/prolog/examples/domain.pl
index cfada79f..05110a6b 100644
--- a/src/prolog/examples/domain.pl
+++ b/src/prolog/examples/domain.pl
@@ -22,7 +22,6 @@ verify_attributes(Var, Other, Goals) :-
                 (   Els = [] ->             % exactly one element
                     Goals = [Other=El]      % implied binding
                 ;   Goals = [],
-		    put_atts(Other, -dom(_)),
                     put_atts(Other, dom(Dc))% rescue intersection
                 )
             ;   Goals = [],