Start and end should be integers, since they represent character offsets

in the CSS or JS.
zploskey · Apr 6, 2018 · 844842b · 844842b
1 parent 2a40fcb
commit 844842b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Coverage.re b/src/Coverage.re
@@ -2,8 +2,8 @@ type t;
 
 type range = {
   .
-  "start": float,
-  "end": float,
+  "start": int,
+  "end": int,
 };
 
 type report = {