--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on June 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]



Even if I try and print things, everything is doubled.
I tested with other stmts, and I get the same result.

Can you help me find out where it can possibly come from?

Thank you so much for your help.

Hichem
 Zakaria Chihani.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110611/2011dbeb/attachment.htm>