diff options
author | 2017-01-09 16:40:08 +0100 | |
---|---|---|
committer | 2017-01-09 16:40:33 +0100 | |
commit | 37817bb5ac6bb9fa9a4d67a5604a35424f7b343d (patch) | |
tree | f3ea38d5d0e3a4d5cde5548eb8227e5549159772 /lib/store.mli | |
parent | c1ad8fa3eadba95691248cd5cd9c2e2efbe6e215 (diff) |
OCaml's -dtypes flag is deprecated and replaced by -annot.
Diffstat (limited to 'lib/store.mli')
0 files changed, 0 insertions, 0 deletions