--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on January 2012 ---
Dear Virgile, It is the corresponding GVarDecl that I need. In what situations would it not exist for a given GFun? Kind Regards 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-5850 mob: +44(0)779-568-1233 ------------------------------------------------------------------------