From 2d747797c427818cdf85d0a0d701c7c9b0106b82 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 20 Oct 2015 16:12:39 +0200
Subject: Proofview.Goal.sigma returns an indexed evarmap.

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

(limited to 'plugins/setoid_ring')

diff --git a/plugins/setoid_ring/newring.ml b/plugins/setoid_ring/newring.ml
index 8ff4230e89..dbe7710eb7 100644
--- a/plugins/setoid_ring/newring.ml
+++ b/plugins/setoid_ring/newring.ml
@@ -749,7 +749,7 @@ let ltac_ring_structure e =
 
 let ring_lookup (f:glob_tactic_expr) lH rl t =
   Proofview.Goal.enter { enter = begin fun gl ->
-    let sigma = Proofview.Goal.sigma gl in
+    let sigma = Tacmach.New.project gl in
     let env = Proofview.Goal.env gl in
     try (* find_ring_strucure can raise an exception *)
       let evdref = ref sigma in
@@ -1021,7 +1021,7 @@ let ltac_field_structure e =
 
 let field_lookup (f:glob_tactic_expr) lH rl t =
   Proofview.Goal.enter { enter = begin fun gl ->
-    let sigma = Proofview.Goal.sigma gl in
+    let sigma = Tacmach.New.project gl in
     let env = Proofview.Goal.env gl in
     try
       let evdref = ref sigma in
-- 
cgit v1.2.3