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

---
 printing/ppconstr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 6ede663883..d96a528b76 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -85,7 +85,7 @@ let tag_var = tag Tag.variable
     let env = ref terms and envlist = ref termlists and bl = ref binders and bll = ref binderlists in
     let pop r = let a = List.hd !r in r := List.tl !r; a in
     let return unp pp1 pp2 = (tag_unparsing unp pp1) ++ pp2 in
-    let parens = !Constrextern.print_parens in
+    let parens = !Constrextern.print_parentheses in
     (* Warning:
        The following function enforces a very precise order of
        evaluation of sub-components.
-- 
cgit v1.2.3