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/Tools/nbe.ML
changeset 24713 8b3b6d09ef40
parent 24680 0d355aa59e67
child 24839 199c48ec5a09 
--- a/src/Tools/nbe.ML	Tue Sep 25 17:06:14 2007 +0200
+++ b/src/Tools/nbe.ML	Tue Sep 25 17:06:18 2007 +0200
@@ -82,12 +82,12 @@
 (* global functions store *)
 
 structure Nbe_Functions = CodeDataFun
-(struct
+(
   type T = Univ Symtab.table;
   val empty = Symtab.empty;
   fun merge _ = Symtab.merge (K true);
   fun purge _ _ _ = Symtab.empty;
-end);
+);
 
 (* sandbox communication *)
isabelle