Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper type for Poly/ML development version;
authorwenzelm
Fri, 21 Oct 2016 11:19:15 +0200
changeset 64331 abf7b6e6865f
parent 64330 d9a9ae3956f6
child 64332 76a3e0f894fd
proper type for Poly/ML development version;
src/Pure/ML_Bootstrap.thy file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML_Bootstrap.thy	Fri Oct 21 11:00:16 2016 +0200
+++ b/src/Pure/ML_Bootstrap.thy	Fri Oct 21 11:19:15 2016 +0200
@@ -15,7 +15,7 @@
 SML_import \<open>
   structure Output_Primitives = Output_Primitives_Virtual;
   structure Thread_Data = Thread_Data_Virtual;
-  fun ML_system_pp (_: int -> 'a -> 'b -> PolyML_Pretty.pretty) = ();
+  fun ML_system_pp (_: FixedInt.int -> 'a -> 'b -> PolyML_Pretty.pretty) = ();
 \<close>
isabelle