X-Git-Url: http://plrg.eecs.uci.edu/git/?p=iotcloud.git;a=blobdiff_plain;f=doc%2Fiotcloud.tex;h=9e213b3d75bd09322cccdd0e25ecb0139edb8694;hp=b85fc026001afb8b9d70b2254acc0547a33e5d6c;hb=1cc9d88a5059f86d3932fb2eccacf168be1abef0;hpb=fd4dfb7fb1099d8617c86398c5ca349e5e583643

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}$