src/Pure/PIDE/resources.scala
changeset 66713 afba7ffd6492
parent 66712 4c98c929a12a
child 66716 8737b866bd1c
     1.1 --- a/src/Pure/PIDE/resources.scala	Thu Sep 28 15:11:32 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Fri Sep 29 17:03:33 2017 +0200
     1.3 @@ -127,7 +127,7 @@
     1.4    {
     1.5      if (node_name.is_theory && reader.source.length > 0) {
     1.6        try {
     1.7 -        val header = Thy_Header.read(reader, start, strict).decode_symbols
     1.8 +        val header = Thy_Header.read(reader, start, strict)
     1.9  
    1.10          val base_name = node_name.theory_base_name
    1.11          val (name, pos) = header.name