diff --git a/thys/Types_Tableaus_and_Goedels_God/ROOT b/thys/Types_Tableaus_and_Goedels_God/ROOT
--- a/thys/Types_Tableaus_and_Goedels_God/ROOT
+++ b/thys/Types_Tableaus_and_Goedels_God/ROOT
@@ -1,16 +1,16 @@
 chapter AFP
 
 session "Types_Tableaus_and_Goedels_God" (AFP) = "HOL" +
-  options [timeout = 300]
+  options [timeout = 300, kodkod_scala = false]
   theories [document = false]
     Relations
   theories
     IHOML
     IHOML_Examples
     GoedelProof_P1
     GoedelProof_P2
     FittingProof
     AndersonProof
   document_files
     "root.tex"
     "root.bib"