--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on May 2010 ---
> Yes, this has always been the case in the implementation. An annotation > must fit in a single comment. If you want it to spread over several > lines, just use multi-line comments ;-) > > Thanks. I realize now this is already something I complained about in my Frama-C days... So I'll have to work slightly more to get the proper syntax highlighting when producing html from ACSL, ok! :) -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100511/c3235224/attachment.htm>