diff -r 62b0577123a5 -r 9a1796acd0a4 src/Tools/ROOT
--- a/src/Tools/ROOT	Mon Aug 16 23:07:01 2021 +0200
+++ b/src/Tools/ROOT	Wed Aug 18 12:33:31 2021 +0200
@@ -4,6 +4,11 @@
   theories
     Code_Generator
 
+session Spec_Check in Spec_Check = Pure +
+  theories
+    Spec_Check
+    Examples
+
 session SML in SML = Pure +
   theories
     Examples