--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on May 2010 ---
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