From 5a027cc00a3f5f1b090c061bd21eb35da67484c5 Mon Sep 17 00:00:00 2001
From: gijs <gijs@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 12 Aug 2005 13:24:00 +0000
Subject: [PATCH] - Forgot to update wmf to the ExpiredTimeStamp

---
 spdl/SPORE/wmf.spdl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spdl/SPORE/wmf.spdl b/spdl/SPORE/wmf.spdl
index 9999fb8..5edb81b 100644
--- a/spdl/SPORE/wmf.spdl
+++ b/spdl/SPORE/wmf.spdl
@@ -10,6 +10,7 @@
 
 usertype SessionKey;
 usertype TimeStamp;
+usertype ExpiredTimeStamp;
 
 secret k: Function;
 const Fresh: Function;
@@ -22,7 +23,7 @@ protocol wmfSessionKeyCompromise(C)
     role C {
         const Ni,Nr: Nonce;
         const Kir: SessionKey;
-        const Ti,Ts: TimeStamp;
+        const Ti,Ts: ExpiredTimeStamp;
         var I,R,S: Agent;
 
         read_C1(C,C,    I,R,S);