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/Cplex_tools.ML
changeset 41490 0f1e411a1448
parent 40299 132e2349694b
child 41491 a2ad5b824051 
--- a/src/HOL/Matrix/Cplex_tools.ML	Mon Jan 10 15:19:48 2011 +0100
+++ b/src/HOL/Matrix/Cplex_tools.ML	Mon Jan 10 15:30:17 2011 +0100
@@ -1134,7 +1134,7 @@
 
 fun solve_glpk prog =
     let
-    val name = LargeInt.toString (Time.toMicroseconds (Time.now ()))
+    val name = Int.toString (Time.toMicroseconds (Time.now ()))
     val lpname = tmp_file (name^".lp")
     val resultname = tmp_file (name^".txt")
     val _ = save_cplexFile lpname prog
@@ -1165,7 +1165,7 @@
         ()
         end
 
-    val name = LargeInt.toString (Time.toMicroseconds (Time.now ()))
+    val name = Int.toString (Time.toMicroseconds (Time.now ()))
     val lpname = tmp_file (name^".lp")
     val resultname = tmp_file (name^".txt")
     val scriptname = tmp_file (name^".script")
isabelle