--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on July 2012 ---
Hello, if I use "frama-c -jessie" on a random c-file, I get why3ml [...] pred.mlw field 'name' is missing make: *** [why3ml] Error 1 [jessie] user error: Jessie subprocess failed: make -f pred.makefile why3ml Has there been a change of syntax in the new why releases? -Boris