# HG changeset patch
# User wenzelm
# Date 1690207876 -7200
# Node ID dfe60f5594bd06ef49fdc14fb6834924d5ae358c
# Parent  573cc2ab69c59e35d13a5b4cd92c7746acec44f1
proper base_thys;

diff -r 573cc2ab69c5 -r dfe60f5594bd src/Tools/profiling.ML
--- a/src/Tools/profiling.ML	Mon Jul 24 15:05:56 2023 +0200
+++ b/src/Tools/profiling.ML	Mon Jul 24 16:11:16 2023 +0200
@@ -105,7 +105,7 @@
     val loaded_thys = filter theories_member loader_thys;
 
     val all_thys = loader_thys @ context_thys;
-    val base_thys = filter theories_member all_thys;
+    val base_thys = filter_out theories_member all_thys;
 
     val {thys_id = all_thys_id, thms_id = all_thms_id, terms = all_terms,
           types = all_types, spaces = all_spaces} = session_content all_thys;