# HG changeset patch
# User wenzelm
# Date 1508934989 -7200
# Node ID fcf84cd6c94fe52bf35f4113ceb8e7f2410a0147
# Parent  aca50a1572c59168fb8699728be0d3d21f4a79e5
clarified check, assuming that load commands are plain ASCII;

diff -r aca50a1572c5 -r fcf84cd6c94f src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Wed Oct 25 13:47:53 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Wed Oct 25 14:36:29 2017 +0200
@@ -61,8 +61,8 @@
   {
     val raw_text = with_thy_reader(name, reader => reader.source.toString)
     () => {
-      val text = Symbol.decode(raw_text)
-      if (syntax.load_commands_in(text)) {
+      if (syntax.load_commands_in(raw_text)) {
+        val text = Symbol.decode(raw_text)
         val spans = syntax.parse_spans(text)
         val dir = Path.explode(name.master_dir)
         spans.iterator.map(Command.span_files(syntax, _)._1).flatten.