diff --git a/src/plugins/e-acsl/VERSION b/src/plugins/e-acsl/VERSION
index fc004cb52c7a3c23ed19e8b19149b832f492ca2b..93cc5dffbe794cadf1d005b7177f7d206b221bce 100644
--- a/src/plugins/e-acsl/VERSION
+++ b/src/plugins/e-acsl/VERSION
@@ -1 +1 @@
-18.0
\ No newline at end of file
+18.0+dev