diff options
| author | Matthieu Sozeau | 2014-09-05 18:51:26 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-05 18:53:05 +0200 |
| commit | f1f8fa010bf0b9b645883306287fec41311971c5 (patch) | |
| tree | d73843da80cea6aefb86817d0da4e6d8b44fede9 /kernel | |
| parent | 214b9ab7969fae71dcf553c399cb1674e463d0e3 (diff) | |
Fix checker/values.ml with latest changes due to projections and universes.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions