[E-ACSL/Doc] Avoid non-ASCII character in manual

src/plugins/e-acsl/doc/refman/speclang_modern.tex

@@ -369,7 +369,7 @@ members easily identifiable.
 
 \begin{notimplementedenv}
 \begin{example}\label{ex:tset}
-The set \lstinlineµ{ x | integer x; 0 <= x <= 9 || 20 <= x <= 29 }µ denotes the
+The set \lstinline*{ x | integer x; 0 <= x <= 9 || 20 <= x <= 29 }* denotes the
 set of all integers between 0 and 9 and between 20 and 29.
 \end{example}
 \end{notimplementedenv}