diff options
| author | Gaëtan Gilbert | 2018-12-19 16:30:12 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-14 14:16:59 +0100 |
| commit | 95483808fa2f95b3ef8fc6b3b6da14c23c88d620 (patch) | |
| tree | b888e6ece4c6f4e54e16d89c130032d56efacc65 /kernel/type_errors.mli | |
| parent | 30eaa6490f1b3d6f66f397e82a8126d0ff197f4f (diff) | |
Adapt to coq/coq#8817 (SProp)
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions