diff --git a/src/plugins/e-acsl/VERSION b/src/plugins/e-acsl/VERSION
index 0f31a88fe9c117485030123185d39c06d6e65787..3a48ff126f4f03ea3b2eb133fb1b2de6bb40e772 100644
--- a/src/plugins/e-acsl/VERSION
+++ b/src/plugins/e-acsl/VERSION
@@ -1 +1 @@
-18.0-beta
\ No newline at end of file
+18.0+dev
\ No newline at end of file