src/Pure/System/build.scala
changeset 48484 70898d016538
parent 48482 45137257399a
child 48485 2cbc3d284cd8
--- a/src/Pure/System/build.scala	Tue Jul 24 20:42:34 2012 +0200
+++ b/src/Pure/System/build.scala	Tue Jul 24 20:56:18 2012 +0200
@@ -142,7 +142,6 @@
     val session_entry: Parser[Session_Entry] =
     {
       val session_name = atom("session name", _.is_name)
-      val theory_name = atom("theory name", _.is_name)
 
       val option =
         name ~ opt(keyword("=") ~! name ^^ { case _ ~ x => x }) ^^ { case x ~ y => (x, y) }