X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fast.mli;fp=src%2Fast.mli;h=147030909a411539e23edaaacb4369dd4bdf3b7e;hb=aee116c9e7614b10199261535ee87203ffa9a81e;hp=067d20a10a36b0bb74e54d431183984a42b67037;hpb=c46c3a5c7793753f2f15c1655517f3f9b8fee644;p=goals.git

diff --git a/src/ast.mli b/src/ast.mli
index 067d20a..1470309 100644
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -38,7 +38,7 @@ val string_loc : unit -> loc -> string
     variable or goal name -> expression. *)
 type env = expr Env.t
 and pattern =
-  (** match tactic such as file ("filename") *)
+  (** match tactic such as *file ("filename") *)
   | PTactic of loc * id * substs list
   (** match named variable, which must be a string or list *)
   | PVar of loc * id