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
authorhaftmann
Thu, 24 Dec 2009 11:05:58 +0100
changeset 34184 248e1fd702e9
parent 34183 6ab14241ae04
child 34185 9316b8f56d83
made sml/nj happy
src/Pure/Isar/code.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/code.ML	Wed Dec 23 17:37:42 2009 +0100
+++ b/src/Pure/Isar/code.ML	Thu Dec 24 11:05:58 2009 +0100
@@ -235,7 +235,7 @@
 
 type data = Object.T Datatab.table;
 fun create_data data = Synchronized.var "code data" data;
-fun empty_data () = create_data Datatab.empty;
+fun empty_data () = create_data Datatab.empty : data Synchronized.var;
 
 structure Code_Data = TheoryDataFun
 (
isabelle