From e24b8241b56d24240e1227caff737d4af82e12ec Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 2 Apr 2022 15:04:29 +0100
Subject: [PATCH] Increased timeout.

---
 Automated_Stateful_Protocol_Verification/ROOT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Automated_Stateful_Protocol_Verification/ROOT b/Automated_Stateful_Protocol_Verification/ROOT
index 2f63b38..d249027 100644
--- a/Automated_Stateful_Protocol_Verification/ROOT
+++ b/Automated_Stateful_Protocol_Verification/ROOT
@@ -1,7 +1,7 @@
 chapter AFP
 
 session "Automated_Stateful_Protocol_Verification-devel" (AFP) = "Stateful_Protocol_Composition_and_Typing" +
-  options [timeout = 2400]
+  options [timeout = 4200]
   sessions
     "HOL-Eisbach"
   directories