An extra ')' is missing in the Printexc.record_backtrace patch on the Frama-C wiki

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));