src/Pure/Thy/thy_header.scala
changeset 48638 22d65e375c01
parent 48484 70898d016538
child 48706 e2b512024eab
     1.1 --- a/src/Pure/Thy/thy_header.scala	Wed Aug 01 18:57:17 2012 +0200
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Wed Aug 01 19:53:20 2012 +0200
     1.3 @@ -62,7 +62,7 @@
     1.4  
     1.5      val args =
     1.6        theory_name ~
     1.7 -      (keyword(IMPORTS) ~! (rep1(theory_name)) ^^ { case _ ~ xs => xs }) ~
     1.8 +      (opt(keyword(IMPORTS) ~! (rep1(theory_name))) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
     1.9        (opt(keyword(KEYWORDS) ~! keyword_decls) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
    1.10        (opt(keyword(USES) ~! (rep1(file))) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~
    1.11        keyword(BEGIN) ^^