# HG changeset patch
# User wenzelm
# Date 1263161786 -3600
# Node ID 98425e77cfeb74bd0b43fc763de89e6c106e862a
# Parent  9bb71dfe7314551c4c9f7b5b344028db4a8815bd
plain object;

diff -r 9bb71dfe7314 -r 98425e77cfeb src/Pure/Thy/thy_syntax.scala
--- a/src/Pure/Thy/thy_syntax.scala	Sun Jan 10 23:16:18 2010 +0100
+++ b/src/Pure/Thy/thy_syntax.scala	Sun Jan 10 23:16:26 2010 +0100
@@ -7,7 +7,7 @@
 package isabelle
 
 
-class Thy_Syntax
+object Thy_Syntax
 {
   private val parser = new Outer_Parse.Parser
   {