src/Provers/Arith/fast_lin_arith.ML
changeset 36692 54b64d4ad524
parent 35872 9b579860d59b
child 36945 9bec62c10714
     1.1 --- a/src/Provers/Arith/fast_lin_arith.ML	Wed May 05 09:24:42 2010 +0200
     1.2 +++ b/src/Provers/Arith/fast_lin_arith.ML	Wed May 05 18:25:34 2010 +0200
     1.3 @@ -389,7 +389,7 @@
     1.4             |> sort (int_ord o pairself abs)
     1.5             |> hd
     1.6           val (eq as Lineq(_,_,ceq,_),othereqs) =
     1.7 -               extract_first (fn Lineq(_,_,l,_) => c mem l) eqs
     1.8 +               extract_first (fn Lineq(_,_,l,_) => member (op =) l c) eqs
     1.9           val v = find_index (fn v => v = c) ceq
    1.10           val (ioth,roth) = List.partition (fn (Lineq(_,_,l,_)) => nth l v = 0)
    1.11                                       (othereqs @ noneqs)