From 68ac92a616478ed581a3279aa55030df338643cf Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 14 Feb 2022 18:46:15 -0700 Subject: [PATCH] don't unify module-qualified variables to ! (#1281) --- src/lib/builtins.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 94ff77d0..f88fef3a 100644 --- 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) -> -- 2.54.0