From dce2befd501b56440ac3fcc88a99d8dbd4664631 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 28 Dec 2005 11:59:39 +0000
Subject: [PATCH] - Don't add secrecy claims for ticket types.

---
 src/compiler.c | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/compiler.c b/src/compiler.c
index ed13dcb..622a0e9 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -729,7 +729,18 @@ claimAddAll (const System sys, const Protocol protocol, const Role role)
   {
     while (tl != NULL)
       {
-	claimCreate (sys, protocol, role, CLAIM_Secret, NULL, tl->term);
+	Term t;
+
+	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);
+	      }
+	  }
 	tl = tl->next;
       }
   }