From 0fa5751429e92f6555e9cbe3e3509fec658b879c Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 27 Aug 2020 11:12:14 +0200
Subject: interp_context_evars: removed unused [shift] argument

Became unused in e034b4090ca45410853db60ae2a5d2f220b48792
---
 interp/constrintern.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp/constrintern.mli')

diff --git a/interp/constrintern.mli b/interp/constrintern.mli
index 2eb96aad56..898a3e09c8 100644
--- a/interp/constrintern.mli
+++ b/interp/constrintern.mli
@@ -156,7 +156,7 @@ val interp_binder_evars : env -> evar_map -> Name.t -> constr_expr -> evar_map *
 (** Interpret contexts: returns extended env and context *)
 
 val interp_context_evars :
-  ?program_mode:bool -> ?impl_env:internalization_env -> ?shift:int ->
+  ?program_mode:bool -> ?impl_env:internalization_env ->
   env -> evar_map -> local_binder_expr list ->
   evar_map * (internalization_env * ((env * rel_context) * Impargs.manual_implicits))
 
-- 
cgit v1.2.3