tuned;
authorwenzelm
Mon, 16 Sep 2019 15:30:38 +0200
changeset 70901 91319c3d2841
parent 70900 3f557ed88fd6
child 70902 a3cfe859d915
tuned;
src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Mon Sep 16 12:03:25 2019 +0200
+++ b/src/Pure/Thy/thy_info.ML	Mon Sep 16 15:30:38 2019 +0200
@@ -370,7 +370,7 @@
     Result {theory = theory, exec_id = exec_id, present = present, commit = commit, weight = weight}
   end;
 
-fun check_deps dir name =
+fun check_thy_deps dir name =
   (case lookup_deps name of
     SOME NONE => (true, NONE, Position.none, get_imports name, [])
   | NONE =>
@@ -402,7 +402,7 @@
         let
           val _ = member (op =) initiators theory_name andalso error (cycle_msg initiators);
 
-          val (current, deps, theory_pos, imports, keywords) = check_deps master_dir theory_name
+          val (current, deps, theory_pos, imports, keywords) = check_thy_deps master_dir theory_name
             handle ERROR msg =>
               cat_error msg
                 ("The error(s) above occurred for theory " ^ quote theory_name ^