From: Markus Triska <triska@metalevel.at>
Date: Fri, 5 Feb 2021 19:59:47 +0000 (+0100)
Subject: Revert "preliminary workaround for #788"
X-Git-Tag: v0.9.0~150^2~65^2~13^2^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=81913a598721c2d7994e3b96ff72977fb0528f18;p=scryer-prolog.git

Revert "preliminary workaround for #788"

This reverts commit 164b9930640656700505188eab684b3575ab1fe8,
which was made obsolete by 75a52f032b95fc74c1c3fa93996fd0f61775c28f.
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index b687354e..b7fa0ea7 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -6090,7 +6090,7 @@ distinct_goals_([flow_to(F,To)|Es], V) -->
               get_attr(To, lowlink, L2),
               L1 =\= L2 } ->
             { get_attr(To, value, N) },
-            [clpz:neq_num(V, N)]
+            [neq_num(V, N)]
         ;   []
         ),
         distinct_goals_(Es, V).
@@ -6611,7 +6611,7 @@ gcc_edge_goal(arc_to(_,_,V,F), Val) -->
               get_attr(Val, lowlink, L2),
               L1 =\= L2,
               get_attr(Val, value, Value) } ->
-            [clpz:neq_num(V, Value)]
+            [neq_num(V, Value)]
         ;   []
         ).