From b26450bba52971f553dd3f9ddc774509cf54d753 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 13 Feb 2020 18:20:33 +0100
Subject: files_maps-editor: fix incorrect assertion.
---
src/files_map-editor.adb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'src')
diff --git a/src/files_map-editor.adb b/src/files_map-editor.adb
index 1cf5bd947..850d648eb 100644
--- a/src/files_map-editor.adb
+++ b/src/files_map-editor.adb
@@ -452,7 +452,7 @@ package body Files_Map.Editor is
D.Source (S.Gap_Start .. S_Cont_Len - 1) :=
S.Source (S.Gap_Last + 1 .. S.File_Length - 1);
else
- pragma Assert (S.Gap_Start = S_Cont_Len);
+ pragma Assert (S.Gap_Start = S_Cont_Len + 2);
D.Source (Source_Ptr_Org .. Source_Ptr_Org + S_Cont_Len - 1) :=
S.Source (Source_Ptr_Org .. Source_Ptr_Org + S_Cont_Len - 1);
end if;
--
cgit v1.2.3