From 17dfa482810b1ff72e459be2f808668149c16132 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 11 May 2022 13:42:47 +0200
Subject: [PATCH] [e-acsl] tests: removed option journal-disable

---
 src/plugins/e-acsl/tests/test_config_dev | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/tests/test_config_dev b/src/plugins/e-acsl/tests/test_config_dev
index 0ce872fd889..f2563a6a213 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
 
-- 
GitLab