--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on May 2013 ---
Hello, Apologies for not sending this to the bug-tracker. I cannot recover my username... Frama-c fluorine API calling Globals.FileIndex.get_files () provides a list where the last entry is always /usr/local/share/frama-c/libc/__fc_builtin_for_normalization.i All the best Damien -- ------------------------------------------------------------------------ Dr. Damien Karkinsky Safety-Critical Systems Consultant Adelard LLP. (www.adelard.com) Exmouth House, 3-11 Pine Street, London, EC1R 0JH tel: +44(0)20-7832-5854 mob: +44(0)779-568-1233 ------------------------------------------------------------------------