Mentions légales du service

Skip to content

Remove outdated extraction driver (fix #843).

Guillaume Melquiond requested to merge remove-ocaml-unsafe-int-drv into master

Support for it was removed between Why3 0.88 and 1.0.

Merge request reports