src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Jul 17 15:13:03 2020 +0200
+++ b/src/HOL/ROOT	Fri Jul 17 17:06:54 2020 +0200
@@ -320,7 +320,8 @@
 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
   sessions
     "HOL-Data_Structures"
-    "HOL-ex"
+    "HOL-Examples"
+    "HOL-Word"
   theories
     Generate
     Generate_Binary_Nat