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

---
 spdl/wmf-brutus.spdl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spdl/wmf-brutus.spdl b/spdl/wmf-brutus.spdl
index d9068a2..a68c7ac 100644
--- a/spdl/wmf-brutus.spdl
+++ b/spdl/wmf-brutus.spdl
@@ -19,7 +19,7 @@ protocol wmfbrutus(A,B,S)
 
 		read_2(S,B, { A, kab }k(B,S) );
 
-		claim(B, Secret,kab);
+		claim_3(B, Secret,kab);
 	}
 
 	role S