Typo in procedure call for checks on slots
authorrtrimana <rtrimana@uci.edu>
Mon, 8 Aug 2016 23:04:54 +0000 (16:04 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 8 Aug 2016 23:04:54 +0000 (16:04 -0700)
doc/iotcloud.tex

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