diff options
Diffstat (limited to 'proofs/evar_refiner.ml')
| -rw-r--r-- | proofs/evar_refiner.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/proofs/evar_refiner.ml b/proofs/evar_refiner.ml index 5d71e4e6d..456ce67e9 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 = |