From c1b8e47ffb7ca9504fbb10087ea68eae5283fa3a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Tue, 21 Feb 2012 14:39:35 +0100 Subject: [PATCH] Fixed escape of string in java --- compiler/obc/java/java_printer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/obc/java/java_printer.ml b/compiler/obc/java/java_printer.ml index 050ca83..90a9aef 100644 --- a/compiler/obc/java/java_printer.ml +++ b/compiler/obc/java/java_printer.ml @@ -96,7 +96,7 @@ and exp ff = function | Sfloat f -> fprintf ff "%Ff" f | Sbool b -> pp_print_bool ff b | Sconstructor c -> constructor_name ff c - | Sstring s -> fprintf ff "\"%s\"" s + | Sstring s -> fprintf ff "\"%s\"" (String.escaped s) | Snull -> fprintf ff "null" | Efield (p,f) -> fprintf ff "%a.%a" exp p field_name f | Evar v -> var_ident ff v