src/Pure/Thy/thy_syntax.scala
changeset 36948 d2cdad45fd14
parent 34311 f0a6f02ad705
child 36956 21be4832c362
     1.1 --- a/src/Pure/Thy/thy_syntax.scala	Sat May 15 22:05:49 2010 +0200
     1.2 +++ b/src/Pure/Thy/thy_syntax.scala	Sat May 15 22:15:57 2010 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  object Thy_Syntax
     1.6  {
     1.7 -  private val parser = new Outer_Parse.Parser
     1.8 +  private val parser = new Parse.Parser
     1.9    {
    1.10      override def filter_proper = false
    1.11