From 212b16bd15ea39ae3b35efdce7cef549fe4f1657 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Fri, 5 Mar 2021 16:52:35 +0000
Subject: Add more location information to IR

---
 src/reporting.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/reporting.ml')

diff --git a/src/reporting.ml b/src/reporting.ml
index 603bc84f..b910de1e 100644
--- a/src/reporting.ml
+++ b/src/reporting.ml
@@ -126,7 +126,7 @@ let short_loc_to_string l =
   | Some (p1, p2) ->
      Printf.sprintf "%s %d:%d - %d:%d"
        p1.pos_fname p1.pos_lnum (p1.pos_cnum - p1.pos_bol) p2.pos_lnum (p2.pos_cnum - p2.pos_bol)
-
+ 
 let loc_to_coverage l =
   match simp_loc l with
   | None -> None
-- 
cgit v1.2.3