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/Tools/atomize_elim.ML
changeset 33029 2fefe039edf1
parent 33002 f3f02f36a3e2
child 33040 cffdb7b28498 
--- a/src/Tools/atomize_elim.ML	Tue Oct 20 20:03:23 2009 +0200
+++ b/src/Tools/atomize_elim.ML	Tue Oct 20 20:54:31 2009 +0200
@@ -34,7 +34,7 @@
 
 (* Compute inverse permutation *)
 fun invert_perm pi =
-      (pi @ ((0 upto (fold (curry Int.max) pi 0)) \\ pi))
+      (pi @ ((0 upto (fold Integer.max pi 0)) \\ pi))
            |> map_index I
            |> sort (int_ord o pairself snd)
            |> map fst
isabelle