src/Tools/ROOT

--- a/src/Tools/ROOT	Wed Jul 12 15:20:01 2023 +0200
+++ b/src/Tools/ROOT	Wed Jul 12 16:23:28 2023 +0200
@@ -3,6 +3,7 @@
 session Tools = Pure +
   theories
     Code_Generator
+    Profiling
 
 session SML in SML = Pure +
   theories