X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=results.arch.tex;h=f9b6725b9342cfc2ef46f63dd09cd93c34de9446;hb=2a4d91380ae0d2a7dfac58b8d5194d57d61af3ae;hp=af7b57d2f6f958b014cc77dbd6473c4cabb47653;hpb=4d476675431f33d692386c4dfc3dff02a2cc031d;p=msc-thesis1617.git

diff --git a/results.arch.tex b/results.arch.tex
index af7b57d..f9b6725 100644
--- a/results.arch.tex
+++ b/results.arch.tex
@@ -111,7 +111,7 @@ is given in Listing~\ref{lst:mtaskdevice}. The definitions of the message
 format are explained in the following section.
 
 \begin{lstlisting}[caption={Device type},label={lst:mtaskdevice}]
-deviceStore :: Shared [MTaskDevice]
+deviceStoreNP :: Shared [MTaskDevice]
 
 :: Channels :== ([MTaskMSGRecv], [MTaskMSGSend], Bool)
 :: BCState = ... // Compiler state, explained in later sections