rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Revert "preliminary workaround for #788"

Browse Source 
This reverts commit 164b993064,
which was made obsolete by 75a52f032b.
This commit is contained in:
Markus Triska
2021-02-05 20:59:47 +01:00
parent 2d7f31a60d
commit 81913a5987
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/clpz.pl
View File

@@ -6090,7 +6090,7 @@ distinct_goals_([flow_to(F,To)|Es], V) -->
get_attr(To, lowlink, L2), get_attr(To, lowlink, L2),
L1 =\= L2 } -> L1 =\= L2 } ->
{ get_attr(To, value, N) }, { get_attr(To, value, N) },
[clpz:neq_num(V, N)] [neq_num(V, N)]
; [] ; []
), ),
distinct_goals_(Es, V). distinct_goals_(Es, V).
@@ -6611,7 +6611,7 @@ gcc_edge_goal(arc_to(_,_,V,F), Val) -->
get_attr(Val, lowlink, L2), get_attr(Val, lowlink, L2),
L1 =\= L2, L1 =\= L2,
get_attr(Val, value, Value) } -> get_attr(Val, value, Value) } ->
[clpz:neq_num(V, Value)] [neq_num(V, Value)]
; [] ; []
). ).