From 563d173d86cb8fbaccad70ee4c665aa60beb069c Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Mon, 29 May 2017 18:54:46 +0200 Subject: Pretyping cleanup: remove constr_of_global calls --- vernac/indschemes.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'vernac/indschemes.mli') diff --git a/vernac/indschemes.mli b/vernac/indschemes.mli index e5d79fd51..0f559d2bd 100644 --- a/vernac/indschemes.mli +++ b/vernac/indschemes.mli @@ -40,7 +40,7 @@ val do_scheme : (Id.t located option * scheme) list -> unit (** Combine a list of schemes into a conjunction of them *) -val build_combined_scheme : env -> constant list -> constr * types +val build_combined_scheme : env -> constant list -> Evd.evar_map * constr * types val do_combined_scheme : Id.t located -> Id.t located list -> unit -- cgit v1.2.3