From: Markus Triska <triska@metalevel.at>
Date: Tue, 10 Oct 2023 17:53:26 +0000 (+0200)
Subject: update comment to reflect the used propagators
X-Git-Tag: remove~37^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=26fdf83a483ac98eae92aa56f13326d1af335093;p=scryer-prolog.git

update comment to reflect the used propagators
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 76dee8bb..2432d6b1 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3545,9 +3545,9 @@ L #\ R :- (L #\/ R) #/\ #\ (L #/\ R).
    undefined, created auxiliary constraints are killed, and the
    "clpz" attribute is removed from auxiliary variables.
 
-   For mod/2, div/2, rem/2 etc. we create a skeleton propagator and
-   remember it as an auxiliary constraint. The pskeleton propagator
-   can use the skeleton when the constraint is defined.
+   For (//)/2, (mod)/2 and (rem)/2, we create a skeleton propagator
+   and remember it as an auxiliary constraint. The pskeleton
+   propagator can use the skeleton when the constraint is defined.
 
    We cannot use a skeleton propagator for (/)/2, since (/)/2 can
    fail in cases such as 0 #==> X #= 1/2, where we expect success.