From 5e96945e928747ae652f7a97fd94633efc5c804b Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 5 Jan 2019 17:55:27 +0000
Subject: [PATCH] Renamed session to avoid conflict with activated AFP.

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

diff --git a/UPF_Firewall/ROOT b/UPF_Firewall/ROOT
index 293e622..d5e9353 100644
--- a/UPF_Firewall/ROOT
+++ b/UPF_Firewall/ROOT
@@ -1,6 +1,6 @@
 chapter AFP
 
-session "UPF_Firewall" (AFP) = UPF +
+session "UPF_Firewall-devel" (AFP) = UPF +
   description {* Formal Network Models and Their Application to Firewall Policies *}
   options [timeout = 600]
   theories