diff --git a/thys/Linear_Programming/ROOT b/thys/Linear_Programming/ROOT
--- a/thys/Linear_Programming/ROOT
+++ b/thys/Linear_Programming/ROOT
@@ -1,16 +1,15 @@
 chapter AFP
 
-session Linear_Programming (AFP) = HOL +
+session Linear_Programming (AFP) = Jordan_Normal_Form +
   options [timeout = 600]
 sessions
-    "Jordan_Normal_Form"
     Farkas
     Linear_Inequalities
   theories
     "More_Jordan_Normal_Forms"
     "Matrix_LinPoly"
     "LP_Preliminaries"
     "Linear_Programming"
   document_files
     "root.tex"
     "root.bib"