diff options
Diffstat (limited to 'parsing/ast.mli')
| -rwxr-xr-x | parsing/ast.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/ast.mli b/parsing/ast.mli index d3e0ee4ab..fae49ac34 100755 --- a/parsing/ast.mli +++ b/parsing/ast.mli @@ -25,7 +25,7 @@ val slam : identifier option * Coqast.t -> Coqast.t val nvar : identifier -> Coqast.t val ide : string -> Coqast.t val num : int -> Coqast.t -val str : string -> Coqast.t +val string : string -> Coqast.t val path : section_path -> Coqast.t val dynamic : Dyn.t -> Coqast.t |