diff options
Diffstat (limited to 'tactics')
| -rw-r--r-- | tactics/class_setoid.ml4 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tactics/class_setoid.ml4 b/tactics/class_setoid.ml4 index 9aa4451870..5939f840fc 100644 --- a/tactics/class_setoid.ml4 +++ b/tactics/class_setoid.ml4 @@ -397,3 +397,6 @@ TACTIC EXTEND typeclasses_eauto let evd' = resolve_argument_typeclasses d (mode, depth) env evd false false in Refiner.tclEVARS (Evd.evars_of evd') gl ] END + +let _ = + Classes.refine_ref := Refine.refine |