Ast: Rename ECallTactic to ETacticConstructor.

[goals.git] / src / ast.mli

diff --git a/src/ast.mli b/src/ast.mli
index 1fee78e..b42294c 100644 (file)
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -51,7 +51,7 @@ and expr =
   (** call goalname (params) etc. *)
   | ECallGoal of loc * id * expr list
   (** call *tactic (params) etc. *)
-  | ECallTactic of loc * id * expr list
+  | ETacticConstructor of loc * id * expr list
   (** variable, or goal call with no parameters *)
   | EVar of loc * id
   (** list *)