- Fixed a claim label.

2004-10-13 12:23:05 +00:00 · 2004-10-13 12:23:05 +00:00 · d7bcd18fb0
commit d7bcd18fb0
parent 40584ba6bd
1 changed files with 1 additions and 1 deletions
--- 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