src/Pure/Isar/outer_syntax.scala
changeset 59684 86a76300137e
parent 59319 677615cba30d
child 59700 d887abcc7c24
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Thu Mar 12 16:47:47 2015 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Thu Mar 12 20:34:08 2015 +0100
     1.3 @@ -284,7 +284,7 @@
     1.4      /* result structure */
     1.5  
     1.6      val spans = parse_spans(text)
     1.7 -    spans.foreach(span => add(Command(Document_ID.none, node_name, Nil, span)))
     1.8 +    spans.foreach(span => add(Command(Document_ID.none, node_name, None, span)))
     1.9      result()
    1.10    }
    1.11  }