From 07a9afbdf9561402897728963d40de80b9912bea Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 7 Aug 2014 00:19:22 +0200
Subject: Removing the "constructor" tactic from the AST.

---
 intf/tacexpr.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'intf')

diff --git a/intf/tacexpr.mli b/intf/tacexpr.mli
index 7f7ecdcf77..3b5868e9e0 100644
--- a/intf/tacexpr.mli
+++ b/intf/tacexpr.mli
@@ -149,8 +149,6 @@ type ('trm,'pat,'cst,'ind,'ref,'nam,'lev) gen_atomic_tactic_expr =
 
   (* Trmuctors *)
   | TacSplit of evars_flag * 'trm bindings list
-  | TacAnyConstructor of evars_flag *
-      ('trm,'pat,'cst,'ind,'ref,'nam,'lev) gen_tactic_expr option
   | TacConstructor of evars_flag * int or_var * 'trm bindings
 
   (* Conversion *)
-- 
cgit v1.2.3