diff options
Diffstat (limited to '')
-rw-r--r-- | src/Translate.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index e43d5741..2ddc4adc 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -351,4 +351,5 @@ let translate_module (filename : string) (config : C.partial_config) List.iter export_decl m.declarations; (* Close the box and end the formatting *) - Format.pp_close_box fmt () + Format.pp_close_box fmt (); + Format.pp_print_newline fmt () |