From ac60d974cc028cef60eb3593d1778977c1636629 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 2 Sep 2014 14:26:14 +0200
Subject: Removing [revert] tactic from 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 d7237f4672..e2995cfabc 100644
--- a/intf/tacexpr.mli
+++ b/intf/tacexpr.mli
@@ -154,7 +154,6 @@ type ('trm,'pat,'cst,'ref,'nam,'lev) gen_atomic_tactic_expr =
   | TacClearBody of 'nam list
   | TacMove of bool * 'nam * 'nam move_location
   | TacRename of ('nam *'nam) list
-  | TacRevert of 'nam list
 
   (* Trmuctors *)
   | TacSplit of evars_flag * 'trm bindings list
-- 
cgit v1.2.3