changeset 48862 | 8967b42db2d5 |
parent 48807 | fde8c3d84ff5 |
child 48864 | 3ee314ae1e0a |
--- a/src/Pure/System/build.scala Mon Aug 20 08:40:18 2012 +0200 +++ b/src/Pure/System/build.scala Mon Aug 20 13:39:41 2012 +0200 @@ -171,7 +171,7 @@ val option = name ~ opt(keyword("=") ~! name ^^ { case _ ~ x => x }) ^^ { case x ~ y => (x, y) } - val options = keyword("[") ~> repsep(option, keyword(",")) <~ keyword("]") + val options = keyword("[") ~> rep1sep(option, keyword(",")) <~ keyword("]") val theories = keyword(THEORIES) ~! ((options | success(Nil)) ~ rep(theory_name)) ^^