--- layout: fc_discuss_archives title: Message 80 from Frama-C-discuss on September 2013 ---
Hello, 2013/9/12 David Yang <abiao.yang at gmail.com>: > 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. I would say you have multiple declaration of type FILE. Are you sure you are NOT including system standard headers before pre-processing your C files? You should use Frama-C version of standard headers instead (in $FRAMA_C_PATH/share/frama-c/libc/). Best regards, david