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/Pure/ML/ml_context.ML
changeset 48781 21af4b8103fa
parent 48776 37cd53e69840
child 48992 0518bf89c777 
--- a/src/Pure/ML/ml_context.ML	Sun Aug 12 19:08:27 2012 +0200
+++ b/src/Pure/ML/ml_context.ML	Sun Aug 12 19:09:55 2012 +0200
@@ -133,7 +133,7 @@
 val begin_env0 = ML_Lex.tokenize "structure Isabelle =\nstruct\n";
 val begin_env =
   ML_Lex.tokenize
-    "structure Isabelle =\nstruct\nval ML_context = ML_Context.the_local_context ()\n";
+    "structure Isabelle =\nstruct\nval ML_context = ML_Context.the_local_context ();\n";
 
 val end_env = ML_Lex.tokenize "end;";
 val reset_env = ML_Lex.tokenize "structure Isabelle = struct end";
isabelle