From: Markus Triska <triska@metalevel.at>
Date: Thu, 5 May 2022 20:51:21 +0000 (+0200)
Subject: remove comment that seems no longer valid
X-Git-Tag: v0.9.1~38^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7e06abebd542b1a5430300884eb48d9873f0531c;p=scryer-prolog.git

remove comment that seems no longer valid
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index d887c211..2ed2cfbb 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -5134,7 +5134,6 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                       domain_remove_smaller_than(ZD3, ZMin, ZD5) },
                       fd_put(Z, ZD5, ZPs)
                     % queue_goal(Z in ZMin..ZMax)
-                %/* This doesn't work very well.
                 ;   { fd_get(Y, _, _, n(YU), _), YU > 0 } ->
                     { fd_get(Z, ZD1, ZPs),
                       ZMax is YU - 1,
@@ -5147,7 +5146,6 @@ run_propagator(pmodz(X,Y,Z), MState) -->
                       domain_remove_smaller_than(ZD1, ZMin, ZD3) },
                       fd_put(Z, ZD3, ZPs)
                     % queue_goal(Z #> YL)
-                % * /
                 ;   true
                 )
             )