From: Markus Triska <triska@metalevel.at>
Date: Sat, 21 Jan 2023 15:01:30 +0000 (+0100)
Subject: strengthen reified division for divisor == 1
X-Git-Tag: v0.9.2~220^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1c08b56e05d0426edb1788c390918f82985dcd1d;p=scryer-prolog.git

strengthen reified division for divisor == 1
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index de522ab6..0677b840 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -5842,6 +5842,10 @@ run_propagator(preified_slash(X, Y, D, R), MState) -->
         (   Y == 0 ->
             kill(MState),
             D = 0
+        ;   Y == 1 ->
+            kill(MState),
+            D = 1,
+            R = X
         ;   nonvar(X),
             nonvar(Y) ->
             kill(MState),