From 4e1473b532700d8f815e3f356dd85d8d74075834 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 18 Feb 2021 10:25:40 +0100
Subject: [PATCH] [Eva] Fixes a typo in the user manual.
---
doc/value/main.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/value/main.tex b/doc/value/main.tex
index 857207e7a5d..dac4374ae5f 100644
--- a/doc/value/main.tex
+++ b/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,
--
GitLab