From 8d0b7046356f7cd4c194b6c73024a96893a61189 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Tue, 1 May 2012 16:37:04 +0200
Subject: [PATCH] Added weak agreement claims to NS.

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

diff --git a/gui/ns3.spdl b/gui/ns3.spdl
index 04846ea..edde4ab 100644
--- a/gui/ns3.spdl
+++ b/gui/ns3.spdl
@@ -19,6 +19,7 @@ protocol ns3(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 ns3(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);