src/Pure/PIDE/document.ML
changeset 62932 db12de2367ca
parent 62895 54c2abe7e9a4
child 63022 785a59235a15
     1.1 --- a/src/Pure/PIDE/document.ML	Sat Apr 09 19:09:11 2016 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Sat Apr 09 19:30:15 2016 +0200
     1.3 @@ -546,7 +546,7 @@
     1.4    in Resources.begin_theory master_dir header parents end;
     1.5  
     1.6  fun check_ml_root node =
     1.7 -  if #1 (#name (#header (get_header node))) = Thy_Header.ml_rootN then
     1.8 +  if member (op =) Thy_Header.ml_roots (#1 (#name (#header (get_header node)))) then
     1.9      let
    1.10        val master_dir = master_directory node;
    1.11        val header = #header (get_header node);