diff options
| author | Enrico Tassi | 2016-05-10 13:13:41 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2016-05-10 13:13:41 +0200 |
| commit | 6be542f4ccb1d7fe95a65f4600f202a2424370d9 (patch) | |
| tree | b831564bca815ab2b0695abea35744b13e9b5c7d /kernel/nativelib.ml | |
| parent | c4be3f4051761769676fc00e0fad9069710159c6 (diff) | |
Proof_global, STM: cleanup + use default_proof_mode instead of "Classic"
The "Classic" string is still hard coded here in there in the system, but
not in STM.
BTW, the use of an hard coded "Classic" value suggests nobody really uses
"Set Default Proof Mode" in .v files.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions