From e7c6f94b15d15dbf0d15f08982f04076abdd0fa7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 15 Jun 2000 10:26:58 +0000
Subject: Code mort

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@507 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tactics/hipattern.ml | 17 -----------------
 1 file changed, 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 
-- 
cgit v1.2.3