From b7ab9aefeb4e385e5caa6cd04aa084427d83a724 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Tue, 4 Jan 2011 15:48:49 +0100
Subject: [PATCH] NEW: Added default SessionKey type.

---
 src/specialterm.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/specialterm.c b/src/specialterm.c
index 343306e..e9df7f3 100644
--- a/src/specialterm.c
+++ b/src/specialterm.c
@@ -40,6 +40,7 @@ Term TERM_Hidden;
 Term TERM_Type;
 Term TERM_Nonce;
 Term TERM_Ticket;
+Term TERM_SessionKey;
 Term TERM_Data;
 
 Term TERM_Claim;
@@ -83,6 +84,7 @@ specialTermInit (const System sys)
   langcons (TERM_Function, "Function", TERM_Type);
   langcons (TERM_Nonce, "Nonce", TERM_Type);
   langcons (TERM_Ticket, "Ticket", TERM_Type);
+  langcons (TERM_SessionKey, "SessionKey", TERM_Type);
   langcons (TERM_Data, "Data", TERM_Type);
 
   langcons (CLAIM_Secret, "Secret", TERM_Claim);