diff options
Diffstat (limited to 'stdlib/arg.ml')
| -rw-r--r-- | stdlib/arg.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/arg.ml b/stdlib/arg.ml index f1eb4527b..138e06a71 100644 --- a/stdlib/arg.ml +++ b/stdlib/arg.ml @@ -16,7 +16,7 @@ type key = string type doc = string type usage_msg = string -type annon_fun = (string -> unit) +type anon_fun = (string -> unit) type spec = | Unit of (unit -> unit) (* Call the function with unit argument *) |