Remove meta-call in pivot_row/7

Enables module simplex to pass sandbox safety check
SWI-Prolog · Dec 2, 2023 · 822cc9d · 822cc9d
1 parent 525e04a
commit 822cc9d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/library/clp/simplex.pl b/library/clp/simplex.pl
@@ -1004,14 +1004,14 @@
         tableau_rows(Tableau, Rows),
         pivot_row(Rows, PCol, false, _, 0, 0, PRow).
 
-pivot_row([], _, Bounded, _, _, Row, Row) :- Bounded.
+pivot_row([], _, true, _, _, Row, Row).
 pivot_row([Row|Rows], PCol, Bounded0, Min0, Index0, PRow0, PRow) :-
         Row = row(_Var, Left, B),
         nth0(PCol, Left, Ae),
         (   Ae > 0 ->
             Bounded1 = true,
             Bound is B rdiv Ae,
-            (   Bounded0 ->
+            (   Bounded0 == true ->
                 (   Bound < Min0 -> Min1 = Bound, PRow1 = Index0
                 ;   Min1 = Min0, PRow1 = PRow0
                 )