# HG changeset patch
# User wenzelm
# Date 1601132691 -7200
# Node ID 0134a7d6ad56ca90c799ef09c78500d58df3747f
# Parent  9a7a1411796797b680e0010349b6cc1e06196fa1
less bulky session stack;

diff -r 9a7a14117967 -r 0134a7d6ad56 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"