From d82d03d0a17fc0d94146a43f5804f8a70df22f3c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 28 Mar 2023 08:51:17 +0200
Subject: [PATCH] [doc] fix style for a spec
---
doc/developer/advance.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 3b057633b8b..5a13d511697 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -3974,7 +3974,7 @@ can be used in ACSL specification.
Namely, specification:
-\begin{lstlisting}[language=C,alsolanguage=ACSL]
+\begin{lstlisting}[style=c]
/*@ ext_type load: foo ; */
/*@
axiomatic Pred {
--
GitLab