From 6ff2e336cbf6ada9131f060bde6576b07bfe707b Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 6 Aug 2018 19:03:47 +0100
Subject: More fixes for polymorphic data types

---
 src/reporting_basic.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/reporting_basic.ml')

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 _ -> ()
 
-- 
cgit v1.2.3