From b006f10e7d591417844ffa1f04eeb926d6092d7b Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Wed, 20 Aug 2014 22:30:37 +0200
Subject: Uniformisation of the order of arguments env and sigma.

---
 proofs/clenv.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'proofs/clenv.ml')

diff --git a/proofs/clenv.ml b/proofs/clenv.ml
index 6f607133d..612ef8d7d 100644
--- a/proofs/clenv.ml
+++ b/proofs/clenv.ml
@@ -335,8 +335,7 @@ let clenv_pose_metas_as_evars clenv dep_mvs =
       else
         let src = evar_source_of_meta mv clenv.evd in
         let src = adjust_meta_source clenv.evd mv src in
-	let (evd,evar) =
-	  new_evar clenv.evd (cl_env clenv) ~src ty in
+	let (evd,evar) = new_evar (cl_env clenv) clenv.evd ~src ty in
 	let clenv = clenv_assign mv evar {clenv with evd=evd} in
 	fold clenv mvs in
   fold clenv dep_mvs
-- 
cgit v1.2.3