--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on November 2013 ---
> gotten an error message. Did you forget to pass the "-C" option to the > preprocessor? Yes, of course I did. Thanks!! John