ID0000181: **This issue was created automatically from Mantis Issue 181. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000181 | Frama-C | Kernel | public | 2009-07-13 | 2009-08-26 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Jonathan-Christofer Demay | **Assigned To** | virgile | **Resolution** | fixed | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Beryllium-20090601-beta1 | **Target Version** | - | **Fixed in Version** | - | ### Description : http://bts.frama-c.com/view.php?id=169 is fixed by a patch posted on the Frama-C wiki (http://bts.frama-c.com/dokuwiki/lib/exe/fetch.php?media=wiki:frama-c-beryllium-20090601-beta1.patch) However, I think near the end an extra ')' is missing: - (Printexc.to_string e) - (if Parameters.Debug.get () > 0 then Printexc.get_backtrace () - else "")); + (Printexc.to_string e); It should be: + (Printexc.to_string e));