From 7e06abebd542b1a5430300884eb48d9873f0531c Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 5 May 2022 22:51:21 +0200 Subject: [PATCH] remove comment that seems no longer valid --- src/lib/clpz.pl | 2 -- 1 file changed, 2 deletions(-) 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 ) ) -- 2.54.0