From: rtrimana <rtrimana@uci.edu>
Date: Mon, 8 Aug 2016 23:04:54 +0000 (-0700)
Subject: Typo in procedure call for checks on slots
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=iotcloud.git;a=commitdiff_plain;h=1cc9d88a5059f86d3932fb2eccacf168be1abef0

Typo in procedure call for checks on slots
---

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index b85fc02..9e213b3 100644
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -534,7 +534,7 @@ $MinCRSeqN(CR_s)= s$ \textit{such that} $\tuple{s, id} \in CR_s
 \Else
 	\State \Call{Error}{'Actual $SL$ size on server exceeds $max_g$'}
 \EndIf
-\State $\Call{CheckSlotsRange}{SL_g,s_{g_{min}},s_{g_{max}}}$
+\State $\Call{CheckSlotsRange}{|SL_g|,s_{g_{min}},s_{g_{max}}}$
 \State $\Call{CheckLastSeqN}{MS_g,MS}$
 \State $\Call{UpdateSSLivEnt}{SS_{live},MS}$
 \State $\Call{UpdateCRLivEnt}{CR_{live},MS}$