diff options
| author | Matthieu Sozeau | 2015-10-01 16:41:23 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-02 15:54:13 +0200 |
| commit | f4db3d72abc1872839bcacd3b28a439e69d0a2e8 (patch) | |
| tree | aa5dbdcca255e36e01ed3470a0808a4514d9f7e2 /checker/mod_checking.ml | |
| parent | b144ef5e2698932c5b2f7cdb1688a55ce4764dae (diff) | |
Univs: fix test-suite file (4301 is invalid, but a good regression test)
Diffstat (limited to 'checker/mod_checking.ml')
0 files changed, 0 insertions, 0 deletions