src/Pure/PIDE/document.ML
changeset 56801 8dd9df88f647
parent 56458 a8d960baa5c2
child 57615 df1b3452d71c
     1.1 --- a/src/Pure/PIDE/document.ML	Wed Apr 30 13:11:24 2014 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Wed Apr 30 22:34:11 2014 +0200
     1.3 @@ -429,7 +429,7 @@
     1.4  
     1.5  fun loaded_theory name =
     1.6    (case try (unsuffix ".thy") name of
     1.7 -    SOME a => Thy_Info.lookup_theory a
     1.8 +    SOME a => get_first Thy_Info.lookup_theory [a, Long_Name.base_name a]
     1.9    | NONE => NONE);
    1.10  
    1.11  fun init_theory deps node span =