--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on January 2012 ---
Hello, I have a simple question. How do I get the function declaration knowing the Cil_types.varinfo of a function definition? Thank you Kind Regards Damien PS. I have also noticed a couple of places in the doc which confuse the terms function definition with function declaration. -- ------------------------------------------------------------------------ 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-5850 mob: +44(0)779-568-1233 ------------------------------------------------------------------------