From: Markus Triska <triska@metalevel.at>
Date: Mon, 9 Oct 2023 21:13:09 +0000 (+0200)
Subject: Z --> Y
X-Git-Tag: remove~39^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7c1cd18a0640c11bdb5e55e05ab0ee2fee0fe02a;p=scryer-prolog.git

Z --> Y
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 5e73a14f..b2fec0c8 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -2824,7 +2824,7 @@ matches([
          m(var(X) #= var(Y)+var(Z)) => [p(pplus(Y,Z,X))],
          m(var(X) #= var(Y)-var(Z)) => [p(pplus(X,Z,Y))],
          m(var(X) #= var(Y)*var(Z)) => [p(ptimes(Y,Z,X))],
-         m(var(X) #= -var(Z))       => [p(pplus(X,Z,0))],
+         m(var(X) #= -var(Y))       => [p(pplus(X,Y,0))],
          m_c(any(X) #= any(Y), left_right_linsum_const(X, Y, Cs, Vs, S)) =>
             [g(scalar_product_(#=, Cs, Vs, S))],
          m_c(var(X) #= abs(var(Y)) + any(V0), X == Y) => [d(V0,V),p(x_eq_abs_plus_v(X,V))],