From 9788d6d3b2799e5aeabaa4fbde9ae50d71f8b39b Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 26 Mar 2019 08:46:48 +0000
Subject: Fix for https://github.com/coq/coq/pull/8984

---
 src/tac2tactics.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/tac2tactics.ml b/src/tac2tactics.ml
index 059a1babd7..5d9b14eab0 100644
--- a/src/tac2tactics.ml
+++ b/src/tac2tactics.ml
@@ -404,7 +404,7 @@ let eauto debug n p lems dbs =
 let typeclasses_eauto strategy depth dbs =
   let only_classes, dbs = match dbs with
   | None ->
-    true, [Hints.typeclasses_db]
+    true, [Class_tactics.typeclasses_db]
   | Some dbs ->
     let dbs = List.map Id.to_string dbs in
     false, dbs
-- 
cgit v1.2.3