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 /engine/evd.ml | |
parent | cf95f2a791c263c7aaa3b488d1b09eaafc29be2b (diff) |
rename toplevel/cerror.ml into explainErr.ml (too close to the new lib/cErrors.ml)
Diffstat (limited to 'engine/evd.ml')
0 files changed, 0 insertions, 0 deletions