src/HOL/Matrix/Compute_Oracle/am_ghc.ML

--- a/src/HOL/Matrix/Compute_Oracle/am_ghc.ML	Mon Jan 10 15:19:48 2011 +0100
+++ b/src/HOL/Matrix/Compute_Oracle/am_ghc.ML	Mon Jan 10 15:30:17 2011 +0100
@@ -206,7 +206,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
 
 fun tmp_file s = Path.implode (Path.expand (File.tmp_path (Path.make [s])));