fixing an off by 1 error

FStarLang · Mar 20, 2023 · ff030ad · ff030ad
1 parent 5fcec9d
commit ff030ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ocaml/fstar-lib/FStar_Parser_ParseIt.ml b/ocaml/fstar-lib/FStar_Parser_ParseIt.ml
@@ -147,7 +147,7 @@ let parse fn =
       let contents_at =
         let lines = U.splitlines contents in
         fun (start_pos:Lexing.position) (end_pos:Lexing.position) ->
-          let suffix = FStar_Compiler_Util.nth_tail (Z.of_int (start_pos.pos_lnum - 1)) lines in
+          let suffix = FStar_Compiler_Util.nth_tail (Z.of_int start_pos.pos_lnum) lines in
           let text, _ =  FStar_Compiler_Util.first_N (Z.of_int (end_pos.pos_lnum - start_pos.pos_lnum)) suffix in
           let range = range_of_positions start_pos end_pos in
             { range;