diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-06 09:30:16 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-06 09:32:10 +0200 |
| commit | d7db69dea59cddd3ac81ed469170fad889af4e16 (patch) | |
| tree | aa0393040aecea1d761f86804de981be60c59337 /kernel/reduction.ml | |
| parent | 6390887ce1fd32c2180f373f1e701d9488c341f9 (diff) | |
Fix checking of constants in checker. Prelude can now be checked.
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions