From 636af8ab15807a93ce08778fac18cbe273fcf49d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Fri, 1 Aug 2014 01:13:42 +0200
Subject: Removing some tactic compatibility layer.

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

(limited to 'tactics/eqdecide.ml')

diff --git a/tactics/eqdecide.ml b/tactics/eqdecide.ml
index c18fd31d0..5aceeb9f4 100644
--- a/tactics/eqdecide.ml
+++ b/tactics/eqdecide.ml
@@ -138,7 +138,7 @@ let solveArg eqonleft op a1 a2 tac =
   let subtacs =
     if eqonleft then [eqCase tac;diseqCase eqonleft;default_auto]
     else [diseqCase eqonleft;eqCase tac;default_auto] in
-  (tclTHENS (Proofview.V82.tactic (elim_type decide)) subtacs)
+  (tclTHENS (elim_type decide) subtacs)
   end
 
 let solveEqBranch rectype =
-- 
cgit v1.2.3