From 900d95913b625f9a7483dfefbf7ea0fbf93bcea2 Mon Sep 17 00:00:00 2001
From: barras
Date: Fri, 3 Sep 2004 18:56:25 +0000
Subject: deplacement de clenv vers pretyping

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6058 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/unification.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/unification.mli')

diff --git a/pretyping/unification.mli b/pretyping/unification.mli
index ae276b2a82..d05b8cb5a8 100644
--- a/pretyping/unification.mli
+++ b/pretyping/unification.mli
@@ -19,7 +19,7 @@ open Evd
 
 type maps = evar_map * meta_map
 
-val w_Define : Evarutil.evar_defs -> evar -> constr -> unit
+val w_Define : evar -> constr -> Evarutil.evar_defs -> unit
 
 (* The "unique" unification fonction *)
 val w_unify :
-- 
cgit v1.2.3