From 7003ff317ba1fce8898538801a1c8ecf1fddb972 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 2 May 2000 13:06:14 +0000
Subject: Divers

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@397 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tactics/hipattern.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/tactics/hipattern.ml b/tactics/hipattern.ml
index b8a004a586..ccc073b1a5 100644
--- a/tactics/hipattern.ml
+++ b/tactics/hipattern.ml
@@ -22,7 +22,7 @@ open Pattern
 
 type module_mark = Stock.module_mark
 
-let parse_constr s =
+let parse_astconstr s =
   try 
     Pcoq.parse_string Pcoq.Constr.constr_eoi s 
   with Stdpp.Exc_located (_ , (Stream.Failure | Stream.Error _)) ->
@@ -30,8 +30,8 @@ let parse_constr s =
 
 (* Patterns *)
 let parse_pattern s =
-  Astterm.interp_constrpattern Evd.empty (Global.env()) (parse_constr s)
-    
+  Astterm.interp_constrpattern Evd.empty (Global.env()) (parse_astconstr s)
+
 type marked_pattern = (int list * constr_pattern) Stock.stocked
 
 let (pattern_stock : (int list * constr_pattern) Stock.stock) =
@@ -44,7 +44,7 @@ let make_module_marker = Stock.make_module_marker
 
 (* Squeletons *)
 let parse_squeleton s =
-  let c = Astterm.interp_constr Evd.empty (Global.env()) (parse_constr s) in
+  let c = Astterm.interp_constr Evd.empty (Global.env()) (parse_astconstr s) in
   (collect_metas c, c)
 
 type marked_term = (int list * constr) Stock.stocked
-- 
cgit v1.2.3