X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fast.mli;h=e47ddc35fd1b65c5770e74fef64eb38b5c83a6bb;hb=7b81982e98bd98cba5813dc2417d7e0d71bdc452;hp=406a8293bf8710f83cdf353d9b508c194f34818f;hpb=f7198dfc6a473781b429871cb098325c1b8ce331;p=goals.git

diff --git a/src/ast.mli b/src/ast.mli
index 406a829..e47ddc3 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. *)
-  | ETacticConstructor of loc * id * expr list
+  | ETacticCtor of loc * id * expr list
   (** variable, or goal call with no parameters *)
   | EVar of loc * id
   (** list *)