diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/false.i~ b/src/plugins/e-acsl/tests/e-acsl-runtime/false.i~
deleted file mode 100644
index 8ee6f985aa011c90a6484a3fb6b2d2dfecdd9fad..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/false.i~
+++ /dev/null
@@ -1,7 +0,0 @@
-/* run.config
-   COMMENT: testing assert true and false */
-void main() {
-  int x = 0;
-  /*@ assert \true; */
-  if (x) /*@ assert \false; */ ;
-}