--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on October 2013 ---
I can't reproduce the problem. I've seen this error message in the past a long time ago. (e.g. http://bts.frama-c.com/view.php?id=1003) This may also depend on the version of OCaml. I hope it will disappear when you will install why 2.33 - Claude Le 09/10/2013 22:53, Stephen Siegel a ?crit : > Uncaught exception: Invalid_argument("equal: abstract value") -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex |