diff options
Diffstat (limited to 'bytecomp/printlambda.ml')
| -rw-r--r-- | bytecomp/printlambda.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index 1684d4104..fac910c61 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -291,8 +291,6 @@ let rec lam ppf = function and sequence ppf = function | Lsequence(l1, l2) -> fprintf ppf "%a@ %a" sequence l1 sequence l2 - | Llet(str, id, arg, body) -> - fprintf ppf "@[<2>let@ %a@ %a@]@ %a" Ident.print id lam arg sequence body | l -> lam ppf l |