From: rtrimana <rtrimana@uci.edu>
Date: Tue, 12 Jul 2016 21:36:32 +0000 (-0700)
Subject: Adding empty set as another return value for a true condition in PutSlot
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=1cd62c1a30f1b3c63a2aceeb16bfbe325aae7997;p=iotcloud.git

Adding empty set as another return value for a true condition in PutSlot
---

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index f7c7ea1..b55f16f 100644
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -162,7 +162,7 @@ $SlotVal(\tuple{s, sv})=sv$ \\
 		\State $n \gets n + 1$
 	\EndIf
     \State $SL \gets SL \cup \{\tuple{s_p,sv_p}\}$
-	\State \Return{$true$}
+	\State \Return{$(true,\emptyset)$}
 \Else
 	\State \Return{$(false,\{\tuple{s,sv}\in SL \mid 
     s \geq s_p\})$}