| changeset 34184 | 248e1fd702e9 |
| parent 34173 | 458ced35abb8 |
| child 34244 | 03f8dcab55f3 |
--- 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 (