From 48b86574606b9500864a79ddc6a0a668e1aaf295 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 26 Apr 2019 09:41:04 +0200
Subject: Remove outdated comment

---
 tactics/class_tactics.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tactics/class_tactics.ml b/tactics/class_tactics.ml
index 575c1dba46..160e4f164e 100644
--- a/tactics/class_tactics.ml
+++ b/tactics/class_tactics.ml
@@ -991,8 +991,6 @@ module Search = struct
     typeclasses_eauto env evd ?depth unique (modes,st) [db] p
 end
 
-(** Binding to either V85 or Search implementations. *)
-
 let typeclasses_eauto ?(only_classes=false) ?(st=TransparentState.full)
                       ?strategy ~depth dbs =
   let dbs = List.map_filter
-- 
cgit v1.2.3