From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 24 Jul 2022 21:20:53 +0000 (-0600)
Subject: resolve phrase modules internally (#1541)
X-Git-Tag: v0.9.1^2~48
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1ff52f70aa94059de94f9698f548a07bcf66d8c4;p=scryer-prolog.git

resolve phrase modules internally (#1541)
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 2c472a82..bb9ffcba 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -7611,7 +7611,7 @@ verify_attributes(Var, Other, Gs) :-
                 ),
                 domain_contains(Dom, Other),
                 phrase(trigger_props(Ps), [Q], [_]),
-                Gs = [phrase(clpz:do_queue, [Q], _)]
+                Gs = [phrase(do_queue, [Q], _)]
             ;   (   get_atts(Other, clpz(clpz_attr(_,_,_,OD,OPs,_))) ->
                     domains_intersection(OD, Dom, Dom1),
                     append_propagators(Ps, OPs, Ps1),
@@ -7619,7 +7619,7 @@ verify_attributes(Var, Other, Gs) :-
                     variables_same_queue([Var,Other]),
                     phrase((fd_put(Other,Dom1,Ps1),
                             trigger_props(Ps1)), [Q0], _),
-                    Gs = [phrase(clpz:do_queue, [Q0], _)]
+                    Gs = [phrase(do_queue, [Q0], _)]
                 ;   put_atts(Other, clpz(CLPZ)),
                     Gs = []
                 )