From eb4bdf9317ad53f464a87219c1625b9118d4660a Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Sat, 3 Aug 2013 16:37:13 +0000
Subject: Replacing an association list by a map in globalizing environment.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16654 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/decl_mode/decl_proof_instr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/decl_mode/decl_proof_instr.ml b/plugins/decl_mode/decl_proof_instr.ml
index cabbd4755d..a06b44083d 100644
--- a/plugins/decl_mode/decl_proof_instr.ml
+++ b/plugins/decl_mode/decl_proof_instr.ml
@@ -1459,7 +1459,7 @@ let do_instr raw_instr pts =
       let { it=gls ; sigma=sigma } = Proof.V82.subgoals pts in
       let gl = { it=List.hd gls ; sigma=sigma } in
       let env=  pf_env gl in
-      let ist = {ltacvars = Id.Set.empty; ltacrecvars = [];
+      let ist = {ltacvars = Id.Set.empty; ltacrecvars = Id.Map.empty;
 		 gsigma = sigma; genv = env} in
       let glob_instr = intern_proof_instr ist raw_instr in
       let instr =
-- 
cgit v1.2.3