--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on May 2020 ---
same error for Frama-C versions 19 and 20: > >> [kernel:annot-error] /tmp/e_acsl_default96abef.i:1426: Warning: >> comparison of incompatible types: ð¹ and â¤. Ignoring code annotation > > Thanks for the feedback and your interest in Frama-C. There was indeed an issue in some annotations > generated by RTE, but it has been fixed in the development branch (you can try it at > https://git.frama-c.com/pub/frama-c), and the fix will appear in the upcoming Frama-C 21 > (Scandium). Recompile from git, works. (mike)