--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on August 2020 ---
Hello, I am using the following command line to preprocess/prepare an annotated C file for E-ACSL. frama-c -cpp-command 'gcc -C -E -I../.. -I../../Logic -I. ' -cpp-frama-c-compliant -pp-annot -no-unicode find_main.c -print > find_main.i In general, I am happy with the generated output, except that the first line reads [kernel] Parsing find_main.c (with preprocessing) How can I avoid that this line appears in the output? (I can of course filter it out with 'grepâ but I assume that I am not using the Frama-C options quite correctly.) Thanks in advance. Jens