src/Pure/Thy/thy_syntax.scala

--- a/src/Pure/Thy/thy_syntax.scala	Sat May 15 22:05:49 2010 +0200
+++ b/src/Pure/Thy/thy_syntax.scala	Sat May 15 22:15:57 2010 +0200
@@ -9,7 +9,7 @@
 
 object Thy_Syntax
 {
-  private val parser = new Outer_Parse.Parser
+  private val parser = new Parse.Parser
   {
     override def filter_proper = false