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