From ab77a1cbc0ab3c23dca374e9ca4d8364b5143817 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 28 Apr 2020 01:39:34 -0600
Subject: [PATCH] modify domain.pl example (#347)

---
 src/prolog/examples/domain.pl | 1 -
 1 file changed, 1 deletion(-)

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 = [],
-- 
2.54.0