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