diff options
| author | Emilio Jesus Gallego Arias | 2017-04-13 03:59:13 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-04-13 17:57:35 +0200 |
| commit | 041cb0de6204989000352311e01847ce5a908a14 (patch) | |
| tree | 69d6810aec20e11eb90423fb6cb79490f495a398 /kernel/type_errors.ml | |
| parent | a5c150a6a7fa980c5850aa247e62d02e29773235 (diff) | |
[toplevel] Don't print goals if there is no pending proof.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions