From 1cd62c1a30f1b3c63a2aceeb16bfbe325aae7997 Mon Sep 17 00:00:00 2001
From: rtrimana <rtrimana@uci.edu>
Date: Tue, 12 Jul 2016 14:36:32 -0700
Subject: [PATCH] Adding empty set as another return value for a true condition
 in PutSlot

---
 doc/iotcloud.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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\})$}
-- 
2.34.1