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

---
 plugins/setoid_ring/newring.ml4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'plugins/setoid_ring')

diff --git a/plugins/setoid_ring/newring.ml4 b/plugins/setoid_ring/newring.ml4
index 97936991e3..b28f0652db 100644
--- a/plugins/setoid_ring/newring.ml4
+++ b/plugins/setoid_ring/newring.ml4
@@ -156,11 +156,11 @@ let _ = add_tacdef false ((Loc.ghost,Id.of_string"ring_closed_term"
 
 let ic c =
   let env = Global.env() and sigma = Evd.empty in
-  Constrintern.interp_open_constr sigma env c
+  Constrintern.interp_open_constr env sigma c
 
 let ic_unsafe c = (*FIXME remove *)
   let env = Global.env() and sigma = Evd.empty in
-    fst (Constrintern.interp_constr sigma env c)
+    fst (Constrintern.interp_constr env sigma c)
 
 let ty c = Typing.type_of (Global.env()) Evd.empty c
 
-- 
cgit v1.2.3