Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
src
libraries
stdlib
transitioning.ml.in
Find file
Blame
History
Permalink
[Eva] Numerors domain: removes direct calls to the Pervasives module.
· 7612f8dd
David Bühler
authored
Jun 24, 2019
For compatibility with ocaml 4.08.
7612f8dd