--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on July 2009 ---
Hi everybody, I always get an error message when using the array type with frama-c (lithium), like in the following example /*@ logic integer getelem(integer t[], integer i) = t[i]; @*/ The error message is "not a C type" Please help me if there is an error in my annotation or if it is a feature not yet available in frama-c. Thank you very much. Tien.