diff options
Diffstat (limited to 'src/error_format.ml')
| -rw-r--r-- | src/error_format.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/error_format.ml b/src/error_format.ml index 9e125efa..f152f0ae 100644 --- a/src/error_format.ml +++ b/src/error_format.ml @@ -72,7 +72,7 @@ let format_code_single fname lnum cnum_from cnum_to contents ppf = try let in_chan = open_in fname in begin - try format_code_single' fname in_chan lnum cnum_from cnum_to contents ppf + try format_code_single' fname in_chan lnum cnum_from cnum_to contents ppf; close_in in_chan with | _ -> close_in_noerr in_chan; () end @@ -83,7 +83,7 @@ let format_code_double fname lnum_from cnum_from lnum_to cnum_to contents ppf = try let in_chan = open_in fname in begin - try format_code_double' fname in_chan lnum_from cnum_from lnum_to cnum_to contents ppf + try format_code_double' fname in_chan lnum_from cnum_from lnum_to cnum_to contents ppf; close_in in_chan with | _ -> close_in_noerr in_chan; () end |