From 2a4c34bffa91d40e313c2ea6626aec720348cd7c Mon Sep 17 00:00:00 2001 From: Mathieu Durero Date: Wed, 12 Jun 2024 08:43:30 +0200 Subject: [PATCH] Character position for error display conventionnaly begin at 1 --- src/irj_checker/irj_checker.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/irj_checker/irj_checker.ml b/src/irj_checker/irj_checker.ml index bb1dcef7..d8c20870 100644 --- 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 | _ ->