@@ -922,7 +922,7 @@ If the \texttt{Vect} is empty, the result is easy:
923\begin{SaveVerbatim}{vfilternil}
923\begin{SaveVerbatim}{vfilternil}
925−filter p Nil = (_ , [])
925+filter p Nil = (_ ** [])
927\end{SaveVerbatim}
927\end{SaveVerbatim}
928\useverb{vfilternil}
928\useverb{vfilternil}