Update E-ACSL version

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

@@ -25,7 +25,7 @@
 \usepackage{alltt}
 \makeindex
 
-\newcommand{\eacsllangversion}{1.17\xspace}
+\newcommand{\eacsllangversion}{1.18\xspace}
 \newcommand{\version}{\eacsllangversion\xspace}
 
 \renewcommand{\textfraction}{0.01}