From 919eaa72e11cce234a02b9215b41eb72d191830f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Wed, 2 Nov 2011 15:13:22 +0100 Subject: [PATCH] Fix floating point printing. --- 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 74af971..e77f45d 100644 --- a/compiler/obc/java/java_printer.ml +++ b/compiler/obc/java/java_printer.ml @@ -93,7 +93,7 @@ and exp ff = function | Ecast (t,e) -> fprintf ff "(%a)(%a)" ty t exp e | Svar c -> const_name ff c | Sint i -> pp_print_int ff i - | Sfloat f -> pp_print_float ff f + | 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