From 70eb06865e5f6a717b6bf746ef6cb61a75abb7a4 Mon Sep 17 00:00:00 2001
From: delahaye
Date: Thu, 19 Apr 2001 05:00:07 +0000
Subject: Fonction lookup enlevee

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

diff --git a/tactics/autorewrite.ml b/tactics/autorewrite.ml
index a8dc18b769..a52f24b0ea 100644
--- a/tactics/autorewrite.ml
+++ b/tactics/autorewrite.ml
@@ -26,8 +26,6 @@ type rew_rule = constr * bool * tactic
 let rewtab =
   ref ((Hashtbl.create 53) : (string,rew_rule) Hashtbl.t)
 
-let lookup id = Hashtbl.find id !rewtab
-
 let _ = 
   let init () = rewtab := (Hashtbl.create 53) in
   let freeze () = !rewtab in
-- 
cgit v1.2.3