From 52b82dd42b93af6831df3bfea4822c6c8680a288 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 3 Sep 2016 11:45:29 +0200
Subject: Fixing what is probably a typo in Strict Proofs mode (#5062).

---
 plugins/decl_mode/decl_proof_instr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/decl_mode/decl_proof_instr.ml b/plugins/decl_mode/decl_proof_instr.ml
index ba9fb728c1..0680139598 100644
--- a/plugins/decl_mode/decl_proof_instr.ml
+++ b/plugins/decl_mode/decl_proof_instr.ml
@@ -42,7 +42,7 @@ let _ =
   declare_bool_option
     { optsync  = true;
       optdepr  = false;
-      optname  = "strict mode";
+      optname  = "strict proofs";
       optkey   = ["Strict";"Proofs"];
       optread  = get_strictness;
       optwrite = set_strictness }
-- 
cgit v1.2.3