From aea82e79b0a0b137e623a8c0f70b264f4b0d8fc6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Mon, 9 May 2011 20:58:07 +0200 Subject: [PATCH] col<100 --- compiler/global/global_printer.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/compiler/global/global_printer.ml b/compiler/global/global_printer.ml index 85e3a6a..fb97c35 100644 --- a/compiler/global/global_printer.ml +++ b/compiler/global/global_printer.ml @@ -13,7 +13,8 @@ let rec _aux_print_modul ?(full=false) ff m = match m with | LocalModule -> () | _ when m = g_env.current_mod && not full -> () | Module m -> fprintf ff "%a." print_name m - | QualModule { qual = m; name = n } -> fprintf ff "%a%a." (_aux_print_modul ~full:full) m print_name n + | QualModule { qual = m; name = n } -> + fprintf ff "%a%a." (_aux_print_modul ~full:full) m print_name n (** Prints a [modul] with a [.] at the end when not empty *) let _print_modul ?(full=false) ff m = match m with @@ -21,7 +22,8 @@ let _print_modul ?(full=false) ff m = match m with | LocalModule -> () | _ when m = g_env.current_mod && not full -> () | Module m -> fprintf ff "%a" print_name m - | QualModule { qual = m; name = n } -> fprintf ff "%a%a" (_aux_print_modul ~full:full) m print_name n + | QualModule { qual = m; name = n } -> + fprintf ff "%a%a" (_aux_print_modul ~full:full) m print_name n let print_full_modul ff m = _print_modul ~full:true ff m let print_modul ff m = _print_modul ~full:false ff m