diff options
Diffstat (limited to 'tactics/class_tactics.ml')
| -rw-r--r-- | tactics/class_tactics.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/class_tactics.ml b/tactics/class_tactics.ml index c1c1c5f14..1aaf4af00 100644 --- a/tactics/class_tactics.ml +++ b/tactics/class_tactics.ml @@ -725,7 +725,7 @@ let typeclasses_eauto ?(only_classes=false) ?(st=full_transparent_state) dbs gl with Not_found -> tclFAIL 0 (str" typeclasses eauto failed on: " ++ Printer.pr_goal gl) gl let _ = Classes.refine_ref := begin fun c -> - Refine.refine c + Tactics.New.refine c end (** Take the head of the arity of a constr. |