From 2660957178fe42aceac95981c580ce7375eea341 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 18 Dec 2000 23:09:43 +0000
Subject: Code mort

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

diff --git a/proofs/evar_refiner.ml b/proofs/evar_refiner.ml
index 5d71e4e6d6..456ce67e93 100644
--- a/proofs/evar_refiner.ml
+++ b/proofs/evar_refiner.ml
@@ -25,8 +25,6 @@ type w_tactic = walking_constraints -> walking_constraints
 
 let local_Constraints lc gs = refiner (Local_constraints lc) gs
 
-let on_wc f wc = ids_mod f wc
-
 let debug = ref true;;
 
 let startWalk gls =
-- 
cgit v1.2.3