Merge branch 'fix/andre/dynamic-leftovers' into 'master'

synchronize with frama-c/frama-c!1205

See merge request !164

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)