From bf18afeefa06e972c6cb98fa8a81ec7172fdde7f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 20 May 2014 19:56:29 +0200
Subject: Moving (e)transitivity out of the AST.

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

(limited to 'intf')

diff --git a/intf/tacexpr.mli b/intf/tacexpr.mli
index 5a7a20ef63..223ece63be 100644
--- a/intf/tacexpr.mli
+++ b/intf/tacexpr.mli
@@ -157,7 +157,6 @@ type ('trm,'pat,'cst,'ind,'ref,'nam,'lev) gen_atomic_tactic_expr =
 
   (* Equivalence relations *)
   | TacSymmetry of 'nam clause_expr
-  | TacTransitivity of 'trm option
 
   (* Equality and inversion *)
   | TacRewrite of evars_flag *
-- 
cgit v1.2.3