src/Pure/System/build.scala
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 }) ~