src/Pure/Thy/thy_header.scala
changeset 36948 d2cdad45fd14
parent 34300 3f2e25dc99ab
child 36956 21be4832c362
     1.1 --- a/src/Pure/Thy/thy_header.scala	Sat May 15 22:05:49 2010 +0200
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Sat May 15 22:15:57 2010 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4  }
     1.5  
     1.6  
     1.7 -class Thy_Header(symbols: Symbol.Interpretation) extends Outer_Parse.Parser
     1.8 +class Thy_Header(symbols: Symbol.Interpretation) extends Parse.Parser
     1.9  {
    1.10    import Thy_Header._
    1.11