--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] One-line comments used for multi-line annotations



Hello,

Le lun. 10 mai 2010 16:36:16 CEST,
Yannick Moy <yannick.moy at gmail.com> a ?crit :

> I just realized that you cannot use one-line comments with the @ char for
> multi-line annotations. Was it the case previously, or has it always been
> like that?

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 ;-)

-- 
E tutto per oggi, a la prossima volta.
Virgile