summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2013-03-26 11:17:17 +0000
committerAlain Frisch <alain@frisch.fr>2013-03-26 11:17:17 +0000
commit6bfcb1da5b8683fe61e1f4ac4f1c56d56823c94a (patch)
tree6520ffaaa1a9de547cc725e311f9aaeb8547aaa0 /tools
parent422b75d398cbb0f10bd159828580aaf3f428db6f (diff)
downloadocaml-6bfcb1da5b8683fe61e1f4ac4f1c56d56823c94a.tar.gz
Support for quoted strings.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rw-r--r--tools/dumpobj.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml
index df654a94cc..d517dc0165 100644
--- a/tools/dumpobj.ml
+++ b/tools/dumpobj.ml
@@ -82,7 +82,7 @@ let print_float f =
let rec print_struct_const = function
Const_base(Const_int i) -> printf "%d" i
| Const_base(Const_float f) -> print_float f
- | Const_base(Const_string s) -> printf "%S" s
+ | Const_base(Const_string (s, _)) -> printf "%S" s
| Const_immstring s -> printf "%S" s
| Const_base(Const_char c) -> printf "%C" c
| Const_base(Const_int32 i) -> printf "%ldl" i