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