From: Markus Triska <triska@metalevel.at>
Date: Sun, 8 Oct 2023 10:07:17 +0000 (+0200)
Subject: remove no longer needed goal projection for pdiv
X-Git-Tag: remove~45^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f34703a279b3fe2609ba7f101cbf609cc119b8da;p=scryer-prolog.git

remove no longer needed goal projection for pdiv
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index bdc747f9..274275b2 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -7778,7 +7778,6 @@ attribute_goal_(x_eq_abs_plus_v(X,V))  --> [#X #= abs(#X) + #V].
 attribute_goal_(x_neq_y_plus_z(X,Y,Z)) --> [#X #\= #Y + #Z].
 attribute_goal_(x_leq_y_plus_c(X,Y,C)) --> [#X #=< #Y + C].
 attribute_goal_(ptzdiv(X,Y,Z))         --> [#X // #Y #= #Z].
-attribute_goal_(pdiv(X,Y,Z))           --> [#X div #Y #= #Z].
 attribute_goal_(pexp(X,Y,Z))           --> [#X ^ #Y #= #Z].
 attribute_goal_(psign(X,Y))            --> [#Y #= sign(#X)].
 attribute_goal_(pabs(X,Y))             --> [#Y #= abs(#X)].