diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-09-30 19:05:47 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2015-10-02 15:54:12 +0200 |
commit | 67bdc25eb69ecd485ae1c8fa2dd71d1933f355d0 (patch) | |
tree | 0965ee4a691aca18d39b2c0d9800c31e47e21d4f /checker/safe_typing.ml | |
parent | 07e96102047f55be45bcb2e0a72ac3c764e398b1 (diff) |
Univs: fixed 3685 by side-effect :)
Diffstat (limited to 'checker/safe_typing.ml')
0 files changed, 0 insertions, 0 deletions