--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on May 2010 ---
I proposed a change request some months ago for this very reason. //-style comments are frequently used in C, so this can confuse users. On Mon, 2010-05-10 at 16:36 +0200, Yannick Moy wrote: > 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? > E.g. > > //@ predicate even (integer x) = > //@ x % 2 == 0; > > is rejected by Frama-C. > -- > Yannick > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss