diff options
| author | Matthieu Sozeau | 2015-11-03 17:25:49 -0500 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-11-04 11:25:50 -0500 |
| commit | b30ca8ac9e0225e6505fea0004ea37e7649c9cb6 (patch) | |
| tree | 0a16bf29d60f9b27530b9c5fa2e1c58aa210353a /kernel | |
| parent | f4ff8f4f8b0bd2c721e4984faf7360d6fab93b05 (diff) | |
Fix bug in proofs/logic.ml type_of_global_reference_knowing_conclusion
is buggy in general.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions