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

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index f7c7ea10fbb614504eb57ff1f8ba1cf7e0198a44..b55f16fb4d237c35305b47fdc8afa43978235d33 100644 (file)
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -162,7 +162,7 @@ $SlotVal(\tuple{s, sv})=sv$ \\
                \State $n \gets n + 1$\r
        \EndIf\r
     \State $SL \gets SL \cup \{\tuple{s_p,sv_p}\}$\r
                \State $n \gets n + 1$\r
        \EndIf\r
     \State $SL \gets SL \cup \{\tuple{s_p,sv_p}\}$\r

-       \State \Return{$true$}\r
+       \State \Return{$(true,\emptyset)$}\r

 \Else\r
        \State \Return{$(false,\{\tuple{s,sv}\in SL \mid \r
     s \geq s_p\})$}\r
 \Else\r
        \State \Return{$(false,\{\tuple{s,sv}\in SL \mid \r
     s \geq s_p\})$}\r