tuned;

--- a/src/Pure/Thy/thy_info.ML	Sun Jun 06 14:52:56 2021 +0200
+++ b/src/Pure/Thy/thy_info.ML	Sun Jun 06 14:55:50 2021 +0200
@@ -59,7 +59,7 @@
 fun add_presentation f = Presentation.map (cons (f, stamp ()));
 
 val _ =
-  Theory.setup (add_presentation (fn {options, file_pos, segments, ...} => fn thy =>
+  Theory.setup (add_presentation (fn {options, segments, ...} => fn thy =>
     if exists (Toplevel.is_skipped_proof o #state) segments then ()
     else
       let