--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] euklid.c



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                    |