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