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/HOL/Tools/prop_logic.ML
changeset 33029 2fefe039edf1
parent 32740 9dd0a2f83429
child 33039 5018f6a76b3f 
--- a/src/HOL/Tools/prop_logic.ML	Tue Oct 20 20:03:23 2009 +0200
+++ b/src/HOL/Tools/prop_logic.ML	Tue Oct 20 20:54:31 2009 +0200
@@ -387,7 +387,7 @@
 			if !next_idx_is_valid then
 				Unsynchronized.inc next_idx
 			else (
-				next_idx          := Termtab.fold (curry Int.max o snd) table 0;
+				next_idx := Termtab.fold (Integer.max o snd) table 0;
 				next_idx_is_valid := true;
 				Unsynchronized.inc next_idx
 			)
isabelle