From 741747c4ecb2be5f51bf5e0395f9fcb28329e86b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 21 May 2014 17:08:04 +0200
Subject: Moving left & right tactics out of 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 223ece63be..4b78b55fd5 100644
--- a/intf/tacexpr.mli
+++ b/intf/tacexpr.mli
@@ -144,8 +144,6 @@ type ('trm,'pat,'cst,'ind,'ref,'nam,'lev) gen_atomic_tactic_expr =
   | TacRevert of 'nam list
 
   (* Trmuctors *)
-  | TacLeft of evars_flag * 'trm bindings
-  | TacRight of evars_flag * 'trm bindings
   | TacSplit of evars_flag * split_flag * 'trm bindings list
   | TacAnyConstructor of evars_flag *
       ('trm,'pat,'cst,'ind,'ref,'nam,'lev) gen_tactic_expr option
-- 
cgit v1.2.3