--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on October 2013 ---
I'm doing this in linux (Ubuntu), where I do have why 2.33, and every other example I have tried works fine. But I guess I have an older ocaml? user at cisc614:~/614/frama-c/examples/basic$ ocaml -version The Objective Caml toplevel, version 3.12.1 user at cisc614:~/614/frama-c/examples/basic$ ocamlopt -version 3.12.1 This is what got installed by apt-get ocaml ocaml-native-compilers. apt-get thinks all these are up-to-date. -s On Oct 10, 2013, at 8:56 AM, Claude March? <Claude.Marche at inria.fr> wrote: > > 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 | > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss