| changeset 46626 | a02115865bcc |
| parent 46570 | 9c504481d270 |
| child 46682 | 4a74fbd6f28b |
--- a/src/Pure/System/session.scala Thu Feb 23 20:23:19 2012 +0100 +++ b/src/Pure/System/session.scala Thu Feb 23 20:24:05 2012 +0100 @@ -116,7 +116,7 @@ @volatile var verbose: Boolean = false - @volatile private var syntax = new Outer_Syntax + @volatile private var syntax = Outer_Syntax.init() def current_syntax(): Outer_Syntax = syntax @volatile private var reverse_syslog = List[XML.Elem]()