From 4865160fa1f2e9ce03b37b9cb3ac99c35e9c4e4d Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 13 Apr 2017 20:29:46 +0200
Subject: Renaming interp_rawcontext_evars using a more "standard" name.

---
 interp/constrintern.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 4dcf287efc..1d5d8e8658 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -2071,7 +2071,7 @@ let intern_context global_level env impl_env binders =
   with InternalizationError (loc,e) ->
     user_err ?loc ~hdr:"internalize" (explain_internalization_error e)
 
-let interp_rawcontext_evars env evdref k bl =
+let interp_glob_context_evars env evdref k bl =
   let open EConstr in
   let (env, par, _, impls) =
     List.fold_left
@@ -2100,6 +2100,6 @@ let interp_rawcontext_evars env evdref k bl =
 
 let interp_context_evars ?(global_level=false) ?(impl_env=empty_internalization_env) ?(shift=0) env evdref params =
   let int_env,bl = intern_context global_level env impl_env params in
-  let x = interp_rawcontext_evars env evdref shift bl in
+  let x = interp_glob_context_evars env evdref shift bl in
   int_env, x
 
-- 
cgit v1.2.3