diff options
Diffstat (limited to 'lambda/printlambda.ml')
| -rw-r--r-- | lambda/printlambda.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lambda/printlambda.ml b/lambda/printlambda.ml index 9f16612e2c..0d8aff08f6 100644 --- a/lambda/printlambda.ml +++ b/lambda/printlambda.ml @@ -80,7 +80,7 @@ let boxed_integer_mark name = function | Pint64 -> Printf.sprintf "Int64.%s" name let print_boxed_integer name ppf bi = - fprintf ppf "%s" (boxed_integer_mark name bi);; + fprintf ppf "%s" (boxed_integer_mark name bi) let print_bigarray name unsafe kind ppf layout = fprintf ppf "Bigarray.%s[%s,%s]" @@ -112,7 +112,6 @@ let record_rep ppf r = | Record_unboxed true -> fprintf ppf "inlined(unboxed)" | Record_float -> fprintf ppf "float" | Record_extension path -> fprintf ppf "ext(%a)" Printtyp.path path -;; let block_shape ppf shape = match shape with | None | Some [] -> () |