diff options
| author | Hugo Herbelin | 2015-07-11 23:59:32 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-07-12 00:01:24 +0200 |
| commit | b3f8288b2243efe59d3358ad4001dd78d62308b8 (patch) | |
| tree | 3fd10dba3eda9f48e10b2ede7448966153745837 /kernel/inductive.ml | |
| parent | 7351bf1c179c4feebf4d93437625ea358dc59420 (diff) | |
Updating checksum in checker (9c732a5cc continued).
Calling md5sum test earlier, at the time coqchk is built, rather than
at testing time, hopefully moving it closer to what it is supposed to
occur.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions