From 8965549b994262a27f5dd204d9c4012501d1a040 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 2 Feb 2017 17:10:43 +0100
Subject: Standardized the order of constructors for binders: Assum then Def.

---
 interp/constrintern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index c037da3059..ff0cdd49f5 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -456,8 +456,8 @@ let intern_local_pattern intern lvar env p =
     env (free_vars_of_pat [] p)
 
 type extended_glob_local_binder =
-  | GLocalDef of (Loc.t * (Name.t * binding_kind * glob_constr * glob_constr))
   | GLocalAssum of (Loc.t * (Name.t * binding_kind * glob_constr))
+  | GLocalDef of (Loc.t * (Name.t * binding_kind * glob_constr * glob_constr))
   | GLocalPattern of
       (Loc.t * (cases_pattern * Id.t list) *
          (bool ref *
-- 
cgit v1.2.3