diff --git a/tests/pretty_printing/test_config b/tests/pretty_printing/test_config
index 5feb4989bf0a2bfd00639668a9521d46037895a4..ada89b488ceb4a09d2ed04c6e273ab0c6c3e99ad 100644
--- a/tests/pretty_printing/test_config
+++ b/tests/pretty_printing/test_config
@@ -2,5 +2,4 @@ COMMENT: this directory is meant to test the parser and pretty-printer
 COMMENT: the default option checks that pretty-printed code can be merged
 COMMENT: with the original one
 PLUGIN:
-CMD: FRAMAC_PLUGIN=tests/.empty @frama-c@
 OPT: @PTEST_FILE@ -print -then -ocode ./ocode_@PTEST_NAME@.c -print -then ./ocode_@PTEST_NAME@.c @PTEST_FILE@ -ocode="" -print