From b7fd585b89ac5e0b7770f52739c33fe179f2eed8 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 5 Nov 2016 21:36:40 +0100
Subject: Evarsolve API using EConstr.

---
 engine/evarutil.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine')

diff --git a/engine/evarutil.mli b/engine/evarutil.mli
index 7fdc7aac78..a2e2a07dd6 100644
--- a/engine/evarutil.mli
+++ b/engine/evarutil.mli
@@ -76,7 +76,7 @@ val new_evar_instance :
   ?principal:bool ->
   constr list -> (constr, 'r) Sigma.sigma
 
-val make_pure_subst : evar_info -> constr array -> (Id.t * constr) list
+val make_pure_subst : evar_info -> 'a array -> (Id.t * 'a) list
 
 val safe_evar_value : evar_map -> existential -> constr option
 
-- 
cgit v1.2.3