From 2c8275ee3e0e5cd4eb8afd24047fda7f864e0e4e Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sat, 2 Jan 2016 16:50:02 +0100
Subject: Remove useless rec flags.

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

(limited to 'tactics')

diff --git a/tactics/tactics.ml b/tactics/tactics.ml
index 6d20bc3cd..1349d5517 100644
--- a/tactics/tactics.ml
+++ b/tactics/tactics.ml
@@ -2130,7 +2130,7 @@ let rewrite_hyp assert_style l2r id =
         Tacticals.New.tclTHEN (rew_on l2r onConcl) (Proofview.V82.tactic (clear [id]))
   end }
 
-let rec prepare_naming loc = function
+let prepare_naming loc = function
   | IntroIdentifier id -> NamingMustBe (loc,id)
   | IntroAnonymous -> NamingAvoid []
   | IntroFresh id -> NamingBasedOn (id,[])
-- 
cgit v1.2.3