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) }