src/Pure/PIDE/resources.ML
changeset 65503 a3fffad8f217
parent 65497 7966bd7c6461
child 65505 741fad555d82
     1.1 --- a/src/Pure/PIDE/resources.ML	Mon Apr 17 21:50:56 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.ML	Tue Apr 18 14:19:49 2017 +0200
     1.3 @@ -119,7 +119,7 @@
     1.4    | NONE =>
     1.5        let val theory =
     1.6          if Long_Name.is_qualified theory0 orelse is_some (global_theory theory0)
     1.7 -          orelse true (* FIXME *) then theory0
     1.8 +        then theory0
     1.9          else Long_Name.qualify qualifier theory0
    1.10        in (false, theory) end);
    1.11