| changeset 66984 | a1d3e5df0c95 |
| parent 66983 | df83b66f1d94 |
| child 67004 | af72fa58f71b |
--- a/src/Pure/Isar/outer_syntax.scala Wed Nov 01 20:46:23 2017 +0100 +++ b/src/Pure/Isar/outer_syntax.scala Wed Nov 01 21:02:16 2017 +0100 @@ -16,7 +16,7 @@ val empty: Outer_Syntax = new Outer_Syntax() - def init(): Outer_Syntax = new Outer_Syntax(completion = Completion.init()) + lazy val init: Outer_Syntax = new Outer_Syntax(completion = Completion.init) def merge(syns: List[Outer_Syntax]): Outer_Syntax = (empty /: syns)(_ ++ _)