From 1387fd1d502150ef168ca88b5c16f0935c1aa615 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 13 Oct 2004 12:23:55 +0000
Subject: [PATCH] - Fixed claim labelling.

---
 spdl/bke.spdl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spdl/bke.spdl b/spdl/bke.spdl
index fbf256a..027e414 100644
--- a/spdl/bke.spdl
+++ b/spdl/bke.spdl
@@ -22,6 +22,7 @@ protocol bkepk(I,R)
 		read_2 (R,I, { hash(ni),nr,R,kir }pk(I) );
 		send_3 (I,R, { hash(nr) }kir );
 		claim_4 (I, Secret, kir );
+		claim_6 (I, Nisynch );
 	}
 
 	role R
@@ -34,6 +35,7 @@ protocol bkepk(I,R)
 		send_2 (R,I, { hash(ni),nr,R,kir }pk(I) );
 		read_3 (I,R, { hash(nr) }kir );
 		claim_5 (R, Secret, kir );
+		claim_7 (R, Nisynch );
 	}
 }