diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-12-03 10:15:33 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-12-03 10:15:33 +0000 |
| commit | a43607ad5cf734b698f9321e3911ee4304e82f70 (patch) | |
| tree | b2a7944228de715c236d0817b6f979315db5d2f1 | |
| parent | 4649a420ceb20d43db9389e43d297d61bc392706 (diff) | |
Bug de formattage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | tools/dumpapprox.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dumpapprox.ml b/tools/dumpapprox.ml index ba57eb5b4..44d82d406 100644 --- a/tools/dumpapprox.ml +++ b/tools/dumpapprox.ml @@ -55,7 +55,7 @@ let print_infos (ui, crc) = printf "Name: %s@." ui.ui_name; printf "CRC of implementation: %a@." print_digest crc; let pr_imports ppf imps = List.iter print_name_crc imps in - printf "@[<v 2>Interfaces imported:%a2]@." pr_imports ui.ui_imports_cmi; + printf "@[<v 2>Interfaces imported:%a@]@." pr_imports ui.ui_imports_cmi; printf "@[<v 2>Implementations imported:%a@]@." pr_imports ui.ui_imports_cmx; printf "@[<v 2>Approximation:@ %a@]@." print_approx ui.ui_approx; let pr_funs ppf fns = |