Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Provers/Arith/fast_lin_arith.ML
changeset 31986 a68f88d264f7
parent 31638 e2272338dfcf
child 32091 30e2ffbba718 
--- a/src/Provers/Arith/fast_lin_arith.ML	Fri Jul 10 07:59:25 2009 +0200
+++ b/src/Provers/Arith/fast_lin_arith.ML	Fri Jul 10 07:59:27 2009 +0200
@@ -391,7 +391,7 @@
            |> hd
          val (eq as Lineq(_,_,ceq,_),othereqs) =
                extract_first (fn Lineq(_,_,l,_) => c mem l) eqs
-         val v = find_index_eq c ceq
+         val v = find_index (fn v => v = c) ceq
          val (ioth,roth) = List.partition (fn (Lineq(_,_,l,_)) => nth l v = 0)
                                      (othereqs @ noneqs)
          val others = map (elim_var v eq) roth @ ioth
isabelle