--- layout: fc_discuss_archives title: Message 70 from Frama-C-discuss on April 2010 ---
Dear all, pleas try this patch. > > you should be able to find the patch in the archive (Apr 21 Claude Marche) > > http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-April/001918.html > respectively the actual attachment at: > http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/201004 > 21/675e83e2/attachment.bin<http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/201004%0A21/675e83e2/attachment.bin> > Thanks for your help. I tried it and it's good now. Regards. An Nguyen. -- An Nhu Nguyen Faculty of Computer Science and Engineering Class: Honor Program 06 HCM City University of Technology Mobile: 0909048788 Y!M: annguyencs -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100423/8185cedd/attachment.htm>