[Eva] Fixes a typo in the user manual.

doc/value/main.tex

@@ -2042,7 +2042,7 @@ user can produce and check some information relevant for auditing purposes.
 
 \begin{itemize}
 \item the list of all source files used during parsing: not only those
-  given in the command line, but also those in \lslinline|#include|
+  given in the command line, but also those in \lstinline|#include|
   directives, recursively. This usually includes Frama-C's standard library.
   For each file, its MD5 checksum is also printed;
 \item the list of {\em enabled} and {\em disabled} warning categories,