tuned;

--- a/src/Pure/Thy/thy_info.ML	Sun Jun 01 15:30:35 2025 +0200
+++ b/src/Pure/Thy/thy_info.ML	Sun Jun 01 15:35:28 2025 +0200
@@ -196,7 +196,7 @@
     val parents = map Context.theory_long_name (Theory.parents_of theory);
 
     val thys' = remove name thys;
-    val _ = map (get thys') parents;
+    val _ = List.app (ignore o get thys') parents;
   in new_entry name parents (SOME deps, SOME res) thys' end;
 
 fun update_thy deps res = change_thys (update deps res);