changeset 60215 | 5fb4990dfc73 |
parent 59736 | 5c1a0069b9d3 |
child 60957 | 574254152856 |
--- a/src/Pure/Thy/thy_header.scala Fri May 01 15:33:43 2015 +0200 +++ b/src/Pure/Thy/thy_header.scala Sun May 03 00:01:10 2015 +0200 @@ -100,7 +100,7 @@ val args = position(theory_name) ~ - (opt($$$(IMPORTS) ~! (rep1(position(theory_xname)))) ^^ + (opt($$$(IMPORTS) ~! rep1(position(theory_xname))) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~ (opt($$$(KEYWORDS) ~! keyword_decls) ^^ { case None => Nil case Some(_ ~ xs) => xs }) ~