diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-07-11 23:59:32 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-07-12 00:01:24 +0200 |
| commit | b3f8288b2243efe59d3358ad4001dd78d62308b8 (patch) | |
| tree | 3fd10dba3eda9f48e10b2ede7448966153745837 /checker | |
| 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 'checker')
| -rw-r--r-- | checker/values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/values.ml b/checker/values.ml index e82ba1032..45220bd05 100644 --- a/checker/values.ml +++ b/checker/values.ml @@ -13,7 +13,7 @@ To ensure this file is up-to-date, 'make' now compares the md5 of cic.mli with a copy we maintain here: -MD5 cabb12868c5ab7a51dbc6dc2ae8c0894 checker/cic.mli +MD5 8b7e75b4b94a2d8506a62508e0374c0a checker/cic.mli *) |