Code mort

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@507 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 17 deletions

diff --git a/tactics/hipattern.ml b/tactics/hipattern.ml
index 61d8c4fe73..285da72611 100644
--- a/tactics/hipattern.ml
+++ b/tactics/hipattern.ml
@@ -64,23 +64,6 @@ let get_reference mods s =
       error ("get_reference: "^s^"is not defined in the given modules")
   else error "The required modules are not open"
 
-(*
-let dest_somatch n pat =
-  let _,m = get_pat pat in
-  matches m n
-
-let somatches n pat =
-  let _,m = get_pat pat in
-  is_matching m n
-
-let dest_somatch_conv env sigma n pat =
-  let _,m = get_pat pat in
-  matches_conv env sigma m n
-
-let somatches_conv env sigma n pat =
-  let _,m = get_pat pat in
-  is_matching_conv env sigma m n
-*)
 let soinstance squel arglist =
   let mvs,c = get_squel_core squel in
   let mvb = List.combine mvs arglist in