src/Tools/Argo/argo_simplex.ML

--- a/src/Tools/Argo/argo_simplex.ML	Thu Feb 01 13:55:10 2018 +0100
+++ b/src/Tools/Argo/argo_simplex.ML	Thu Feb 01 15:12:57 2018 +0100
@@ -59,8 +59,8 @@
 
 val erat_ord = prod_ord Rat.ord Rat.ord
 
-fun less_eq n1 n2 = (erat_ord (n1, n2) <> GREATER)
-fun less n1 n2 = (erat_ord (n1, n2) = LESS)
+fun less_eq n1 n2 = is_less_equal (erat_ord (n1, n2))
+fun less n1 n2 = is_less (erat_ord (n1, n2))
 
 
 (* term functions *)