fix(HOTG/Root) threads=1 due to isabelle bug

kappelmann · Mar 27, 2024 · 44ccb60 · 44ccb60
1 parent d4f2012
commit 44ccb60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/HOTG/ROOT b/HOTG/ROOT
@@ -9,7 +9,7 @@ session HOTG = Transport +
   description
     \<open>Axioms and basic definitions for Tarski-Grothendieck set theory embedded in HOL.\<close>
   options
-    [timeout = 60,quick_and_dirty]
+    [timeout = 60,quick_and_dirty,threads=1]
   directories
     Arithmetics
     Binary_Relations