From 5820b274acda8be0372471758842b0ea2b950d41 Mon Sep 17 00:00:00 2001
From: Abhishek Anand (optiplex7010@home)
Date: Sat, 22 Feb 2020 13:22:27 -0800
Subject: parens --> parentheses

---
 vernac/vernacentries.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'vernac')

diff --git a/vernac/vernacentries.ml b/vernac/vernacentries.ml
index cd8e699066..2eb1aa39b0 100644
--- a/vernac/vernacentries.ml
+++ b/vernac/vernacentries.ml
@@ -1282,9 +1282,9 @@ let () =
 let () =
   declare_bool_option
     { optdepr  = false;
-      optkey   = ["Printing";"Parens"];
-      optread  = (fun () -> !Constrextern.print_parens);
-      optwrite = (fun b ->  Constrextern.print_parens := b) }
+      optkey   = ["Printing";"Parentheses"];
+      optread  = (fun () -> !Constrextern.print_parentheses);
+      optwrite = (fun b ->  Constrextern.print_parentheses := b) }
 
 let () =
   declare_bool_option
-- 
cgit v1.2.3