Added clarification that length is a state variable

Lectures/L09_VerificationAndValidation/VerificAndValid.tex

@@ -238,7 +238,8 @@ to research software?
 \begin{frame}
 \frametitle{Incorrect Version of Delete}
 
-Using \texttt{s = new T[MAX\_SIZE]}, for some type \texttt{T}
+Using \texttt{s = new T[MAX\_SIZE]}, for some type \texttt{T}; \texttt{length}
+is a state variable
 
 \lstset{language=java,breaklines=true,showspaces=false,showstringspaces=false,breakatwhitespace=true}
 \noindent \lstinputlisting{DeleteIncorrect.java}