From 78e68f3c1710588ce6764f7d7f07e68840dba28d Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 31 Aug 2004 14:35:47 +0000
Subject: [PATCH] - Added claim label.

---
 spdl/tls-paulson.spdl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spdl/tls-paulson.spdl b/spdl/tls-paulson.spdl
index d157f6f..c722605 100644
--- a/spdl/tls-paulson.spdl
+++ b/spdl/tls-paulson.spdl
@@ -36,7 +36,7 @@ protocol tlspaulson(a,b)
 		send_7( a,b, { F }CLIENTK );
 		read_8( b,a, { F }SERVERK );
 
-		claim(a, Secret,CLIENTK, SERVERK);
+		claim_9(a, Secret,CLIENTK, SERVERK);
 
 	}	
 	
@@ -57,7 +57,7 @@ protocol tlspaulson(a,b)
 		read_7( a,b, { F }CLIENTK );
 		send_8( b,a, { F }SERVERK );
 
-		claim(a, Secret,CLIENTK, SERVERK);
+		claim_10(b, Secret,CLIENTK, SERVERK);
 	}
 }