From: notoria <notoria@users.noreply.github.com>
Date: Sat, 14 Oct 2023 14:13:52 +0000 (+0200)
Subject: Trigger propagator for popcount/1
X-Git-Tag: remove~26
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c6fcbe20e11954d00eff6f2ab96ea88537cdbf26;p=scryer-prolog.git

Trigger propagator for popcount/1
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index add0f356..ddc2ee3e 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3585,7 +3585,7 @@ parse_reified(E, R, D,
                m(\A)         => [function(D,\,A,R)],
                m(msb(A))     => [g(#A#>0) ,function(D,msb,A,R)],
                m(lsb(A))     => [g(#A#>0), function(D,lsb,A,R)],
-               m(popcount(A)) => [function(D,popcount,A,R)],
+               m(popcount(A)) => [d(D), p(ppopcount(A, R)), a(A,R)],
                m(sign(A))    => [d(D), p(psign(A, R)), a(A,R)],
                m(A<<B)       => [function(D,<<,A,B,R)],
                m(A>>B)       => [function(D,>>,A,B,R)],