From 9a2f6c09e8d654acb42ccb49d771bbd9900bf5ef Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 21 Jul 2004 13:14:08 +0000
Subject: [PATCH] - Added nisynch-rep file, which is a broken nsl3 with
 internal   repetition.

---
 spdl/{nsl3-niscynch-rep.spdl => nsl3-nisynch-rep.spdl} | 2 ++
 1 file changed, 2 insertions(+)
 rename spdl/{nsl3-niscynch-rep.spdl => nsl3-nisynch-rep.spdl} (90%)

diff --git a/spdl/nsl3-niscynch-rep.spdl b/spdl/nsl3-nisynch-rep.spdl
similarity index 90%
rename from spdl/nsl3-niscynch-rep.spdl
rename to spdl/nsl3-nisynch-rep.spdl
index 2baa020..e826154 100644
--- a/spdl/nsl3-niscynch-rep.spdl
+++ b/spdl/nsl3-nisynch-rep.spdl
@@ -11,6 +11,7 @@ protocol nsl3(I,R)
 
 		send_1(I,R, {I,ni}pk(R) );
 		read_2(R,I, {ni,nr,R}pk(I) );
+		read_6(R,I, {ni,nr,R}pk(I) );
 		send_3(I,R, {nr}pk(R) );
 		claim_4(I,Nisynch);
 	}	
@@ -22,6 +23,7 @@ protocol nsl3(I,R)
 
 		read_1(I,R, {I,ni}pk(R) );
 		send_2(R,I, {ni,nr,R}pk(I) );
+		send_6(R,I, {ni,nr,R}pk(I) );
 		read_3(I,R, {nr}pk(R) );
 		claim_5(I,Nisynch);
 	}