X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fast.mli;h=b42294c6f47e93dcef34a663fe6449c6f9497ba6;hb=87e6a2f2a8d79dd10b17f3647dffb3774f0d582f;hp=1fee78ea036f07cec07d4735555a42351a7b7047;hpb=266aac664780e39712228dd70a8e11465298713b;p=goals.git

diff --git a/src/ast.mli b/src/ast.mli
index 1fee78e..b42294c 100644
--- 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 *)