src/HOL/ROOT

--- a/src/HOL/ROOT	Sat Sep 26 16:02:54 2020 +0200
+++ b/src/HOL/ROOT	Sat Sep 26 17:04:51 2020 +0200
@@ -318,8 +318,9 @@
   theories Hoare_Parallel
   document_files "root.bib" "root.tex"
 
-session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
+session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Library" +
   sessions
+    "HOL-Number_Theory"
     "HOL-Data_Structures"
     "HOL-Examples"
     "HOL-Word"