diff --git a/compiler/obc/java/java_printer.ml b/compiler/obc/java/java_printer.ml index f3b5601..47ce9c4 100644 --- a/compiler/obc/java/java_printer.ml +++ b/compiler/obc/java/java_printer.ml @@ -41,7 +41,7 @@ let rec _ty size ff t = match t with | Tfloat -> fprintf ff "float" | Tclass n -> class_name ff n | Tgeneric (n, ty_l) -> fprintf ff "%a<@[%a@]>" class_name n (print_list_r ty """,""") ty_l - | Tarray (t,s) -> if size then fprintf ff "%a[%a]" ty t exp s else fprintf ff "%a[]" ty t + | Tarray (t,s) -> if size then fprintf ff "%a[%a]" full_ty t exp s else fprintf ff "%a[]" ty t | Tunit -> pp_print_string ff "void" and full_ty ff t = _ty true ff t