From 1cc9d88a5059f86d3932fb2eccacf168be1abef0 Mon Sep 17 00:00:00 2001 From: rtrimana Date: Mon, 8 Aug 2016 16:04:54 -0700 Subject: [PATCH] Typo in procedure call for checks on slots --- doc/iotcloud.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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}$ -- 2.34.1