From ed2b03fa607381b216a653b0a3c407af6fd81e12 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Thu, 23 Oct 2008 22:13:43 +0000
Subject: Forgot one file which had other local modifications...

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

diff --git a/tactics/tacinterp.ml b/tactics/tacinterp.ml
index e2456adc1d..aa5aaed3b7 100644
--- a/tactics/tacinterp.ml
+++ b/tactics/tacinterp.ml
@@ -2183,7 +2183,7 @@ and interp_atomic ist gl = function
   | TacExactNoCheck c -> h_exact_no_check (pf_interp_constr ist gl c)
   | TacVmCastNoCheck c -> h_vm_cast_no_check (pf_interp_constr ist gl c)
   | TacApply (a,ev,cb) ->
-      h_apply a ev (List.map (interp_constr_with_bindings ist gl) cb)
+      h_apply a ev (List.map (interp_open_constr_with_bindings ist gl) cb)
   | TacElim (ev,cb,cbo) ->
       h_elim ev (interp_constr_with_bindings ist gl cb)
                 (Option.map (interp_constr_with_bindings ist gl) cbo)
-- 
cgit v1.2.3