src/Pure/PIDE/document.ML
changeset 65357 9a2c266f97c8
parent 63022 785a59235a15
child 65445 e9e7f5f5794c
     1.1 --- a/src/Pure/PIDE/document.ML	Mon Apr 03 12:49:13 2017 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Mon Apr 03 13:39:13 2017 +0200
     1.3 @@ -178,9 +178,7 @@
     1.4    | NONE => false);
     1.5  
     1.6  fun loaded_theory name =
     1.7 -  (case try (unsuffix ".thy") name of
     1.8 -    SOME a => get_first Thy_Info.lookup_theory [a, Long_Name.base_name a]
     1.9 -  | NONE => NONE);
    1.10 +  get_first Thy_Info.lookup_theory [name, Long_Name.base_name name];
    1.11  
    1.12  fun get_node nodes name = String_Graph.get_node nodes name
    1.13    handle String_Graph.UNDEF _ => empty_node;