From ca5c7eaa4921e0344e3f1e8a3724a42420248093 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Wed, 2 May 2012 10:15:33 +0200
Subject: [PATCH] Adding weakagree claim to nsl3.

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

diff --git a/gui/nsl3.spdl b/gui/nsl3.spdl
index dfbaa68..c393e73 100644
--- a/gui/nsl3.spdl
+++ b/gui/nsl3.spdl
@@ -19,6 +19,7 @@ protocol nsl3(I,R)
 		claim(I,Secret,ni);
 		claim(I,Secret,nr);
 		claim(I,Alive);
+		claim(I,Weakagree);
 		claim(I,Commit,R,ni,nr);
 		claim(I,Niagree);
 		claim(I,Nisynch);
@@ -37,6 +38,7 @@ protocol nsl3(I,R)
 		claim(R,Secret,ni);
 		claim(R,Secret,nr);
 		claim(R,Alive);
+		claim(R,Weakagree);
 		claim(R,Commit,I,ni,nr);
 		claim(R,Niagree);
 		claim(R,Nisynch);