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);