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/Matrix/Compute_Oracle/am_sml.ML
changeset 41490 0f1e411a1448
parent 37872 d83659570337
child 41491 a2ad5b824051 
--- a/src/HOL/Matrix/Compute_Oracle/am_sml.ML	Mon Jan 10 15:19:48 2011 +0100
+++ b/src/HOL/Matrix/Compute_Oracle/am_sml.ML	Mon Jan 10 15:30:17 2011 +0100
@@ -486,7 +486,7 @@
         val c = !guid_counter
         val _ = guid_counter := !guid_counter + 1
     in
-        (LargeInt.toString (Time.toMicroseconds (Time.now ()))) ^ (string_of_int c)
+        (Int.toString (Time.toMicroseconds (Time.now ()))) ^ (string_of_int c)
     end
isabelle