Character position for error display conventionnaly begin at 1

MLanguage · Jun 12, 2024 · 2a4c34b · 2a4c34b
1 parent 24e4560
commit 2a4c34b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/irj_checker/irj_checker.ml b/src/irj_checker/irj_checker.ml
@@ -24,9 +24,9 @@ let () =
         let pos_1, pos_2 = pos.pos_loc in
         Printf.eprintf "%s" (Filename.basename f);
         Printf.eprintf ":(%d,%d)-(%d,%d)" pos_1.pos_lnum
-          (pos_1.pos_cnum - pos_1.pos_bol)
+          (pos_1.pos_cnum - pos_1.pos_bol + 1)
           pos_2.pos_lnum
-          (pos_2.pos_cnum - pos_2.pos_bol);
+          (pos_2.pos_cnum - pos_2.pos_bol + 1);
         Printf.eprintf " : %s\n" s;
         exit 1
     | _ ->