diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-09-20 01:23:26 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-09-20 01:23:26 +0200 |
commit | 0c766b2e3b54d96713a79e40661653c5486822a8 (patch) | |
tree | 2b1453b97049e2e29e98eb9799d64adc95045b8c /kernel/conv_oracle.mli | |
parent | 40479227cba680496bf358e196e57a9a64f9c65b (diff) |
Print Assumptions shows engagement.
Seems to be morally required since we have the -type-in-type flag.
Diffstat (limited to 'kernel/conv_oracle.mli')
0 files changed, 0 insertions, 0 deletions