diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-02-13 18:20:33 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-02-13 18:20:33 +0100 |
| commit | b26450bba52971f553dd3f9ddc774509cf54d753 (patch) | |
| tree | 12584329af730b44da5cf7dd1d2d218de2e2dd00 /src/files_map-editor.adb | |
| parent | e365367b3670710254a7f86db52d3cecc236e764 (diff) | |
| download | ghdl-b26450bba52971f553dd3f9ddc774509cf54d753.tar.gz ghdl-b26450bba52971f553dd3f9ddc774509cf54d753.tar.bz2 ghdl-b26450bba52971f553dd3f9ddc774509cf54d753.zip | |
files_maps-editor: fix incorrect assertion.
Diffstat (limited to 'src/files_map-editor.adb')
| -rw-r--r-- | src/files_map-editor.adb | 2 |
1 files changed, 1 insertions, 1 deletions
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; |