From c633bb322acf0bb626eafe6158287d1ddc11af26 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 9 Mar 2016 16:43:49 +0100
Subject: Redo fix init_setoid -> init_relation_classes

It got lost during a merge with the 8.5 branch.
---
 tactics/rewrite.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tactics/rewrite.ml b/tactics/rewrite.ml
index 1be78c2add..67d21886b2 100644
--- a/tactics/rewrite.ml
+++ b/tactics/rewrite.ml
@@ -2086,7 +2086,7 @@ let setoid_proof ty fn fallback =
           let open Context.Rel.Declaration in
           let (sigma, t) = Typing.type_of env sigma rel in
           let car = get_type (List.hd (fst (Reduction.dest_prod env t))) in
-	    (try init_setoid () with _ -> raise Not_found);
+	    (try init_relation_classes () with _ -> raise Not_found);
             fn env sigma car rel
         with e -> Proofview.tclZERO e
       end
-- 
cgit v1.2.3