diff --git a/src/plugins/e-acsl/tests/test_config_dev b/src/plugins/e-acsl/tests/test_config_dev
index 0ce872fd8895a63e08ee03b78a2810b1d85955cf..f2563a6a21328fa04b3b2d0ef5260f2a637d142a 100644
--- a/src/plugins/e-acsl/tests/test_config_dev
+++ b/src/plugins/e-acsl/tests/test_config_dev
@@ -5,7 +5,7 @@ COMMENT: Default options for `e-acsl-gcc.sh`
 MACRO: ROOT_EACSL_GCC_MISC_OPTS -q -X --no-assert-print-data
 
 COMMENT: Default options for the frama-c invocation
-MACRO: ROOT_EACSL_GCC_FC_EXTRA -journal-disable -verbose 0
+MACRO: ROOT_EACSL_GCC_FC_EXTRA -verbose 0
 
 PLUGIN: E_ACSL eva,scope,variadic rtegen