Fix.

Author: athas

main.tex

@@ -1271,7 +1271,7 @@ \section{Size Annotations}
 type intvec [n] = [n]i32
 \end{lstlisting}
 
-We can now use \lstlisting{intvec [n]} to refer to integer vectors of
+We can now use \lstinline{intvec [n]} to refer to integer vectors of
 size \lstinline{n}:
 
 \begin{lstlisting}