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.
made SML/NJ happy;
authorwenzelm
Wed, 05 Dec 2007 20:30:35 +0100
changeset 25548 121705bba349
parent 25547 ffa6e91b7add
child 25549 7040555f20c7
made SML/NJ happy;
src/Tools/Compute_Oracle/am_sml.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Compute_Oracle/am_sml.ML	Wed Dec 05 20:16:36 2007 +0100
+++ b/src/Tools/Compute_Oracle/am_sml.ML	Wed Dec 05 20:30:35 2007 +0100
@@ -20,7 +20,7 @@
 
 open AbstractMachine;
 
-val dump_output = ref NONE
+val dump_output = ref (NONE: string option)
 
 type program = string * string * (int Inttab.table) * (int Inttab.table) * (term Inttab.table) * (term -> term)
isabelle