From 39adf85c6a52a91811f9895ea1255c96c7609579 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 28 Dec 2005 12:04:00 +0000 Subject: [PATCH] - Reverted previous version: Tickets can possibly be secret as well (although this is dubious, as the claiming role will not know the contents in many cases) --- src/compiler.c | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/compiler.c b/src/compiler.c index 622a0e9..fb989b4 100644 --- a/src/compiler.c +++ b/src/compiler.c @@ -734,12 +734,8 @@ claimAddAll (const System sys, const Protocol protocol, const Role role) t = deVar (tl->term); if (realTermLeaf (t)) { - // For anything that is not a ticket - if (!inTermlist (t->stype, TERM_Ticket)) - { - // Add a secrecy claim - claimCreate (sys, protocol, role, CLAIM_Secret, NULL, t); - } + // Add a secrecy claim + claimCreate (sys, protocol, role, CLAIM_Secret, NULL, t); } tl = tl->next; }