diff --git a/src/plugins/e-acsl/doc/refman/eacslversion.tex b/src/plugins/e-acsl/doc/refman/eacslversion.tex
deleted file mode 100644
index a59b2e01486e1a8e226388e0b6735e6b3593c304..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/doc/refman/eacslversion.tex
+++ /dev/null
@@ -1 +0,0 @@
-\newcommand{\eacslversion}{Phosphorus-20170501-beta1}