src/Pure/Isar/parse.scala

--- a/src/Pure/Isar/parse.scala	Thu Feb 20 14:17:28 2014 +0100
+++ b/src/Pure/Isar/parse.scala	Thu Feb 20 14:36:17 2014 +0100
@@ -6,6 +6,7 @@
 
 package isabelle
 
+
 import scala.util.parsing.combinator.Parsers
 import scala.annotation.tailrec