--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on January 2010 ---
Hi, I have coq 8.2 and why 2.18 on ubuntu 9.10. When I try to prove some code with coq, I get the following message in the console. Thread 1 killed on uncaught exception Failure("For interactive provers, option --project must be set") How can I get around this issue ? Thanks. -- Regards, Groleo!