diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index 52ac793236c3cfba7db03768ef0e346f1ee78d9e..a96aab5a6464e7c21ec126511648d04f3129d6da 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -36,7 +36,7 @@ m4_define([FRAMAC_SHARE],
 m4_ifndef([FRAMAC_M4_MACROS], [m4_include(FRAMAC_SHARE/configure.ac)])
 
 check_plugin(e_acsl,PLUGIN_RELATIVE_PATH(plugin_file),
-	     [support for E-ACSL plug-in],yes,yes)
+             [support for E-ACSL plug-in],yes)
 
 plugin_require(e_acsl,rtegen)