diff options
| author | mlasson | 2015-06-25 16:40:24 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-09-03 00:46:52 +0200 |
| commit | 518049fe7f689489842fdfa670f57b618f125f31 (patch) | |
| tree | 9711507b00b03b120f12a2fb1c2d3f18d2d17d60 /kernel/cbytecodes.ml | |
| parent | 0f2d41755d99770c4576776462a4e433fb8f0a02 (diff) | |
Add an if_verbose for "Fetching opaque proofs ..."
I do not think that this information is worth displaying without
the verbose flag.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions