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

[Frama-c-discuss] Frama-C Bordon and Why 2.24



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>