--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on November 2013 ---
> I have encountered the same issue. Let me guess, your gcc compiler is version > 4.8, right? For some reason, it seems Frama-C Fluorine cannot cope with the > output of cpp-4.8. My workaround is to explicitly set the preprocessor as > cpp-4.7 with the -cpp-command of Frama-C. Yes, my distro uses gcc-4.8, and yes this workaround succeeds, thanks! John