diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-27 18:15:07 +0200 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2016-07-03 12:16:24 +0200 |
| commit | 3ce70f21a18cc19e720e8ac54b93652527881942 (patch) | |
| tree | c07c40d207b60b9c31fc148fc720b3890deb7f56 /library/library.ml | |
| parent | cf95f2a791c263c7aaa3b488d1b09eaafc29be2b (diff) | |
rename toplevel/cerror.ml into explainErr.ml (too close to the new lib/cErrors.ml)
Diffstat (limited to 'library/library.ml')
0 files changed, 0 insertions, 0 deletions