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/Thy/thy_header.scala
changeset 66984 a1d3e5df0c95
parent 66918 ec2b50aeb0dd
child 67004 af72fa58f71b 
--- a/src/Pure/Thy/thy_header.scala	Wed Nov 01 20:46:23 2017 +0100
+++ b/src/Pure/Thy/thy_header.scala	Wed Nov 01 21:02:16 2017 +0100
@@ -66,7 +66,7 @@
     Keyword.Keywords.empty.add_keywords(bootstrap_header)
 
   lazy val bootstrap_syntax: Outer_Syntax =
-    Outer_Syntax.init().add_keywords(bootstrap_header)
+    Outer_Syntax.init.add_keywords(bootstrap_header)
 
 
   /* file name vs. theory name */
isabelle