From 648ce5e08f7245f2a775abd1304783c4167e9f2e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 2 Feb 2017 18:24:58 +0100
Subject: Unifying standard "constr_level" names for constructors of
 local_binder_expr.

RawLocal -> CLocal
---
 intf/constrexpr.mli | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'intf')

diff --git a/intf/constrexpr.mli b/intf/constrexpr.mli
index c2ace9dc27..d1b5697d75 100644
--- a/intf/constrexpr.mli
+++ b/intf/constrexpr.mli
@@ -123,9 +123,9 @@ and recursion_order_expr =
 
 (** Anonymous defs allowed ?? *)
 and local_binder_expr =
-  | LocalRawAssum of Name.t located list * binder_kind * constr_expr
-  | LocalRawDef of Name.t located * constr_expr
-  | LocalRawPattern of Loc.t * cases_pattern_expr * constr_expr option
+  | CLocalAssum of Name.t located list * binder_kind * constr_expr
+  | CLocalDef of Name.t located * constr_expr
+  | CLocalPattern of Loc.t * cases_pattern_expr * constr_expr option
 
 and constr_notation_substitution =
     constr_expr list *      (** for constr subterms *)
-- 
cgit v1.2.3