modify domain.pl example (#347)

diff --git a/src/prolog/examples/domain.pl b/src/prolog/examples/domain.pl
index cfada79f51c82f79f0d46995d2b17c5cbfadf607..05110a6b45f895680d5bdcad0a5491047c7a5615 100644 (file)
--- 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 = [],