--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on June 2015 ---
> I deleted that source file ,again I downloaded and when I configured it > was showing this error. > What source file ? Downloaded what ? -- Richard Bonichon -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150605/9fc84eb8/attachment.html>