diff options
Diffstat (limited to 'typing/ctype.mli')
| -rw-r--r-- | typing/ctype.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/ctype.mli b/typing/ctype.mli index 53f0bca966..84eb61232f 100644 --- a/typing/ctype.mli +++ b/typing/ctype.mli @@ -279,7 +279,7 @@ val wrap_trace_gadt_instances: Env.t -> ('a -> 'b) -> 'a -> 'b val reset_reified_var_counter: unit -> unit val maybe_pointer_type : Env.t -> type_expr -> bool - (* True if type is possibly pointer, false if definitely not a pointer *) + (* True if type is possibly pointer, false if definitely not a pointer *) (* Stubs *) val package_subtype : |