diff --git a/thys/Bounded_Deducibility_Security/ROOT b/thys/Bounded_Deducibility_Security/ROOT
--- a/thys/Bounded_Deducibility_Security/ROOT
+++ b/thys/Bounded_Deducibility_Security/ROOT
@@ -1,12 +1,12 @@
 chapter AFP
 
 session "Bounded_Deducibility_Security" (AFP) = HOL +
-  options [timeout = 600, document = pdf, document_output = "output"]
+  options [timeout = 600]
   sessions
     "HOL-Library"
   theories
     "Bounded_Deducibility_Security"
   document_files
     "root.tex"
     "root.bib"
     "intro.tex"