diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-06-13 16:07:46 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2014-06-13 16:08:46 +0200 |
commit | 505a6a2cb01eea3b4f60b9e9b3b583b56f1bd50b (patch) | |
tree | a863d2e62e1c4db81c88ed48e4bad71a4a9f20d5 /toplevel/whelp.mli | |
parent | f8f65b0227056d49dc31174c89ea0da4427e3b56 (diff) |
Deprecate options -dont, -lazy, -force-load-proofs.
These options no longer have any impact on the way proofs are loaded. In
other words, loading is always lazy, whatever the options. Keeping them
just so that coqc dies when the user prints some opaque symbol does not
seem worth it.
Diffstat (limited to 'toplevel/whelp.mli')
0 files changed, 0 insertions, 0 deletions