From 8dc130ed11373928f18adc16e552d650209de75f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 10 Jul 2017 17:50:03 +0200
Subject: Fix debug trace of typeclasses eauto.

---
 tactics/class_tactics.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tactics/class_tactics.ml b/tactics/class_tactics.ml
index 7a85956538..fcee70740a 100644
--- a/tactics/class_tactics.ml
+++ b/tactics/class_tactics.ml
@@ -1144,7 +1144,7 @@ module Search = struct
         let res =
           if j = 0 then tclUNIT ()
           else tclDISPATCH
-                 (List.init j (fun j' -> (tac_of gls i (Option.default 0 k + j))))
+                 (List.init j (fun j' -> (tac_of gls i (Option.default 0 k + j'))))
         in
         let finish nestedshelf sigma =
           let filter ev =
-- 
cgit v1.2.3