From 5f8d3c31bd6ec81de3673e4cb446b3572aeb405c Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 13 Dec 2018 18:51:57 +0100 Subject: files_map: cache the start of line position. --- src/files_map.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/files_map.adb b/src/files_map.adb index 46d09b04b..2a21f96b0 100644 --- a/src/files_map.adb +++ b/src/files_map.adb @@ -338,7 +338,7 @@ package body Files_Map is Offset := Natural (Pos - Line_Pos); -- Update cache. - Source_File.Cache_Pos := Pos; + Source_File.Cache_Pos := Line_Pos; Source_File.Cache_Line := Line; end Location_To_Coord; -- cgit v1.2.3