diff options
Diffstat (limited to 'src/reporting_basic.ml')
| -rw-r--r-- | src/reporting_basic.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/reporting_basic.ml b/src/reporting_basic.ml index 65acd4ac..985136c4 100644 --- a/src/reporting_basic.ml +++ b/src/reporting_basic.ml @@ -120,7 +120,8 @@ let print_code1 ff fname lnum1 cnum1 cnum2 = Util.(Str.string_before (Str.string_after line cnum1) (cnum2 - cnum1) |> red_bg |> clear) (Str.string_after line cnum2); close_in in_chan - with e -> (close_in_noerr in_chan; print_endline (Printexc.to_string e)) + with e -> (close_in_noerr in_chan; + prerr_endline (Printf.sprintf "print_code1: %s %d %d %d %s" fname lnum1 cnum1 cnum2 (Printexc.to_string e))) end with _ -> () |