From dce6893c6f9b7e91b85f721c145d3bb6132baa41 Mon Sep 17 00:00:00 2001
From: Timm Lauser <timm.lauser@h-da.de>
Date: Fri, 18 Feb 2022 15:58:38 +0100
Subject: [PATCH] Corrected theory names

---
 Privacy_Properties/daa_pnc_anonymity_cdrs.spthy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Privacy_Properties/daa_pnc_anonymity_cdrs.spthy b/Privacy_Properties/daa_pnc_anonymity_cdrs.spthy
index 045647b..72eb287 100644
--- a/Privacy_Properties/daa_pnc_anonymity_cdrs.spthy
+++ b/Privacy_Properties/daa_pnc_anonymity_cdrs.spthy
@@ -3,7 +3,7 @@ begin
 
 /*
   Protocol:	DAA_PnC
-  Properties:	PR3 - Unlinkable CDRs
+  Properties:	Weaker version of PR3 - Anonymous CDRs
 
 This Tamarin model is used to verify the privacy of the charge data authentication process
 for the Direct Anonymous Authentication (DAA) based privacy extentsion of the
-- 
GitLab