Le 2015-09-22 02:17, Ben Liblit a écrit : > Does commit <https://github.com/c > il-project/cil/commit/6b3638fc5e79fe82e51fb19d4a909345419225ff> [Fix > Pretty module for OCaml 4.02], later revised in > <https://github.com/cil > -project/cil/commit/681f17e618282436b8168278af4464036623aaf1> [Safer > fix for Pretty module] mean that we've already ended OCaml 3.x > compatibility anyway? Or were those fixes still OCaml 3.x > compatible?
They are 3.x compatible. The old way of doing it (using Obj.magic) should never have been used in the first place. -- Gabriel ------------------------------------------------------------------------------ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
