diff options
Diffstat (limited to 'src/files_map.adb')
| -rw-r--r-- | src/files_map.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/files_map.adb b/src/files_map.adb index fc7ba06e9..1f316b879 100644 --- a/src/files_map.adb +++ b/src/files_map.adb @@ -704,6 +704,7 @@ package body Files_Map is (Directory : Name_Id; Name: Name_Id; Length : Source_Ptr) return Source_File_Entry is + pragma Assert (Length >= 2); Res : Source_File_Entry; begin Res := Create_Source_File_Entry (Directory, Name); |