From aee116c9e7614b10199261535ee87203ffa9a81e Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 25 Dec 2019 14:34:07 +0000 Subject: [PATCH] Fix file() -> *file() in comment about tactics. Updates commit b14ff66c953e6a73e9ac2fe8d42dd68e92e58f53. --- src/ast.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.8.3.1