From c6a8c4b5fa590f2beecd73817497bd7773a87522 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 10 Apr 2016 01:27:44 +0200
Subject: Expliciting the fact that the atomic tactic type is self-contained.

---
 intf/tacexpr.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/intf/tacexpr.mli b/intf/tacexpr.mli
index 0aa3b936ca..f821251c27 100644
--- a/intf/tacexpr.mli
+++ b/intf/tacexpr.mli
@@ -191,7 +191,7 @@ constraint 'a = <
 
 (** Possible arguments of a tactic definition *)
 
-and 'a gen_tactic_arg =
+type 'a gen_tactic_arg =
   | TacGeneric     of 'lev generic_argument
   | ConstrMayEval  of ('trm,'cst,'pat) may_eval
   | Reference      of 'ref
-- 
cgit v1.2.3