preliminary workaround for #788

This change can be reverted once the issue is resolved.

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index b7fa0ea7f34a3ac750318028b98e18ffd24946fd..b687354e05e6d6562ad3ceb380bb64ed85ac1194 100644 (file)
--- 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) },
-            [neq_num(V, N)]
+            [clpz: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) } ->
-            [neq_num(V, Value)]
+            [clpz:neq_num(V, Value)]
         ;   []
         ).