don't unify module-qualified variables to ! (#1281)

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index 94ff77d04df5c6c59871cfdea3253856fdd58e06..f88fef3a1d0974705605a3aa80a57eb929647bc9 100644 (file)
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -240,7 +240,7 @@ comma_dispatch_prep(Gs, B, [Cont|Conts]) :-
           comma_dispatch_prep(G1, B, IConts1),
           cont_list_goal(IConts1, Cont),
           comma_dispatch_prep(G2, B, Conts)
-       ;  ( Gs = ! ; Gs = _:! ) ->
+       ;  Gs == ! ->
           Cont = builtins:set_cp(B),
           Conts = []
        ;  functor(Gs, ';', 2) ->