diff options
Diffstat (limited to 'plugins/decl_mode/decl_proof_instr.ml')
| -rw-r--r-- | plugins/decl_mode/decl_proof_instr.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/decl_mode/decl_proof_instr.ml b/plugins/decl_mode/decl_proof_instr.ml index 6bcda0097..229f72a26 100644 --- a/plugins/decl_mode/decl_proof_instr.ml +++ b/plugins/decl_mode/decl_proof_instr.ml @@ -41,6 +41,7 @@ let get_strictness,set_strictness = let _ = declare_bool_option { optsync = true; + optdepr = false; optname = "strict mode"; optkey = ["Strict";"Proofs"]; optread = get_strictness; |