diff options
Diffstat (limited to 'stdlib/printf.ml')
| -rw-r--r-- | stdlib/printf.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/printf.ml b/stdlib/printf.ml index 69c2ecf63..872fc076c 100644 --- a/stdlib/printf.ml +++ b/stdlib/printf.ml @@ -296,7 +296,7 @@ let kapr kpr fmt = else Obj.magic (fun x -> loop (succ i) (x :: args)) in loop 0 [];; -type param_spec = Spec_none | Spec_index of index;; +type param_spec = Spec_none | Spec_index of index;; (* To scan an optional positional parameter specification, i.e. an integer followed by a $. |