From: Richard W.M. Jones <rjones@redhat.com>
Date: Wed, 25 Dec 2019 14:34:07 +0000 (+0000)
Subject: Fix file() -> *file() in comment about tactics.
X-Git-Tag: v'0.2'~135
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=aee116c9e7614b10199261535ee87203ffa9a81e;p=goals.git

Fix file() -> *file() in comment about tactics.

Updates commit b14ff66c953e6a73e9ac2fe8d42dd68e92e58f53.
---

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