From c616bd4d9819e4cd3c868716cb92663b3c69e069 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Tue, 31 Oct 2017 15:38:40 +0100
Subject: Removing a redundancy in naming types (Ppconstr.precedence =
 tolerability).

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

(limited to 'printing/ppconstr.ml')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 102c6ef6d..4d7a71631 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -738,7 +738,6 @@ let tag_var = tag Tag.variable
     pr_lconstr_pattern_expr : constr_pattern_expr -> Pp.t
   }
 
-  type precedence =  Notation_term.precedence * Notation_term.parenRelation
   let modular_constr_pr = pr
   let rec fix rf x = rf (fix rf) x
   let pr = fix modular_constr_pr mt
-- 
cgit v1.2.3