Tex typo issues, Code

[iotcloud.git] / doc2 / iotcloud.tex

diff --git a/doc2/iotcloud.tex b/doc2/iotcloud.tex
index 31612024664b7701ebde6f18c2243d3bf40a1e6d..e3ae679335db5eca99b30253d73daf8d68a3c54b 100644 (file)
--- a/doc2/iotcloud.tex
+++ b/doc2/iotcloud.tex
@@ -1499,12 +1499,12 @@ This rescue is not mandatory.  This is trying to fill the remaining portion of t
         \EndIf\\\r
     \r
         \If{$\lnot$\Call{EvaluateGuard}{$Guard_t, CurrKV$}}\r
-            \State $abortde \gets $\Call{CreateAbort}{$seq_t, id_t$}\r
+            \State $abort_{de} \gets $\Call{CreateAbort}{$seq_t, id_t$}\r
             \LeftComment{No more space so we cant arbitrate any further}\r
-            \If($lnot$\Call{DeHasSpace}{$DE_a, abortde$})\r
+            \If($\lnot$\Call{DeHasSpace}{$DE_a, abort_{de}$})\r
                 \State \Return{$DE_a$}\r
             \EndIf\r
-            \State $DE_a \gets DE_a \cup abortde$\r
+            \State $DE_a \gets DE_a \cup abort_{de}$\r
         \Else\r
             \State $DKV \gets \{\tuple{k,v}| \tuple{k,v} \in KV \land \tuple{k',v'}\in KV_t \land k'=k\}$\r
             \State $KVTmp \gets (KV \setminus DKV) \cup KV'$\r