diff options
Diffstat (limited to 'tactics/g_class.ml4')
| -rw-r--r-- | tactics/g_class.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/g_class.ml4 b/tactics/g_class.ml4 index 1e666e5a55..a49c76f148 100644 --- a/tactics/g_class.ml4 +++ b/tactics/g_class.ml4 @@ -64,7 +64,7 @@ END TACTIC EXTEND typeclasses_eauto | [ "typeclasses" "eauto" "with" ne_preident_list(l) ] -> [ Proofview.V82.tactic (typeclasses_eauto l) ] -| [ "typeclasses" "eauto" ] -> [ Proofview.V82.tactic (typeclasses_eauto ~only_classes:true [Auto.typeclasses_db]) ] +| [ "typeclasses" "eauto" ] -> [ Proofview.V82.tactic (typeclasses_eauto ~only_classes:true [Hints.typeclasses_db]) ] END TACTIC EXTEND head_of_constr |