diff options
author | Alain Frisch <alain@frisch.fr> | 2013-08-29 11:42:23 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2013-08-29 11:42:23 +0000 |
commit | 76d35efd0aff69c82daa7d6ca2335f25cbaf5ceb (patch) | |
tree | 9c67baeddd0846e5ab23b0289674cb212c765042 /bytecomp/printlambda.ml | |
parent | a18853fde97e44a7ff21184c77998f94edfa14f7 (diff) | |
parent | 6f15a5da7b420f91b68e03ee18c94e0d3bfa8857 (diff) |
Reintegrate the extension_point branch.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/printlambda.ml')
-rw-r--r-- | bytecomp/printlambda.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index 65316700a..8774e72b8 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -20,7 +20,7 @@ open Lambda let rec struct_const ppf = function | Const_base(Const_int n) -> fprintf ppf "%i" n | Const_base(Const_char c) -> fprintf ppf "%C" c - | Const_base(Const_string s) -> fprintf ppf "%S" s + | Const_base(Const_string (s, _)) -> fprintf ppf "%S" s | Const_immstring s -> fprintf ppf "#%S" s | Const_base(Const_float f) -> fprintf ppf "%s" f | Const_base(Const_int32 n) -> fprintf ppf "%lil" n |