changeset 48739 | 3a6c03b15916 |
parent 48738 | f8c1a5b9488f |
child 48791 | 9e8f30bfbdca |
--- a/src/Pure/System/build.scala Wed Aug 08 17:49:56 2012 +0200 +++ b/src/Pure/System/build.scala Wed Aug 08 20:35:34 2012 +0200 @@ -172,7 +172,7 @@ val options = keyword("[") ~> repsep(option, keyword(",")) <~ keyword("]") val theories = - keyword(THEORIES) ~! ((options | success(Nil)) ~ rep1(theory_name)) ^^ + keyword(THEORIES) ~! ((options | success(Nil)) ~ rep(theory_name)) ^^ { case _ ~ (x ~ y) => (x, y) } ((command(SESSION) ~! session_name) ^^ { case _ ~ x => x }) ~