diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 3b057633b8b8eedebd3972569b1509634968ace6..5a13d511697616c084f5b25dff5e686630929b16 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 {