--- layout: fc_discuss_archives title: Message 79 from Frama-C-discuss on September 2013 ---
Dear all, While i analysis a preprocessed file. I add fc_runtime.c by coding: Kernel.Files.add "/usr/local/share/frama-c/libc/fc_runtime.c" But an error occurred: "user error: Incompatible declaration fclose Definitions of type FILE are not isomorphic " Here, I don't want this to be an error. What I want is to use the new declaration of type FILE to continue the analysis without emitting an error. How can I achieve that? Thanks. David. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130912/e0df418b/attachment.html>