From 08296b49c6c4b1c53b1f65abba071ac3ed3dddb8 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 16 Jul 2004 16:13:53 +0000
Subject: Abstraction vis a vis de dummy_loc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5915 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 4a395fa31e..4996687850 100644
--- a/tactics/tacinterp.ml
+++ b/tactics/tacinterp.ml
@@ -252,7 +252,7 @@ let _ =
   if not !Options.v7 then
     (let nocl = {onhyps=Some[];onconcl=true; concl_occs=[]} in
     List.iter
-      (fun (s,t) -> add_primitive_tactic s (TacAtom((0,0),t)))
+      (fun (s,t) -> add_primitive_tactic s (TacAtom(dummy_loc,t)))
       [ "red", TacReduce(Red false,nocl);
         "hnf", TacReduce(Hnf,nocl);
         "simpl", TacReduce(Simpl None,nocl);
-- 
cgit v1.2.3