changeset 72774 | 51c0f79d6eed |
parent 72773 | 93b50b9e3494 |
child 72775 | 0a94eb91190d |
--- a/src/Pure/PIDE/resources.scala Sun Nov 29 15:23:18 2020 +0100 +++ b/src/Pure/PIDE/resources.scala Sun Nov 29 15:33:19 2020 +0100 @@ -221,7 +221,7 @@ { if (node_name.is_theory && reader.source.length > 0) { try { - val header = Thy_Header.read(reader, start, strict) + val header = Thy_Header.read(reader, start = start, strict = strict) val base_name = node_name.theory_base_name if (Long_Name.is_qualified(header.name)) {