diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-06-09 16:08:08 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-06-09 16:08:08 +0000 |
| commit | 747f13ad9349034bbdd9c07fefe913714131799c (patch) | |
| tree | 57292d7e376932a6bf1d30ed87c4b7a68cf2a08b | |
| parent | 5c8f53d793d7a9a9cc0e5e7efc9a386e343ca76b (diff) | |
Formatage de l'interface affichee par -i
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/printtyp.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 462920ff5..d015c99aa 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -549,7 +549,8 @@ and modtype_declaration id decl = let signature sg = open_vbox 0; signature_body false sg; - close_box() + close_box(); + print_newline() (* Print an unification error *) |