aboutsummaryrefslogtreecommitdiffstats
path: root/src/files_map.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-06-20 08:34:09 +0200
committerTristan Gingold <tgingold@free.fr>2019-06-20 08:34:09 +0200
commit45bec6292a41661320e209ac343362599df9feef (patch)
treebb35f65e21f3015b431f5444a2e42b949f7a3e73 /src/files_map.adb
parent76f0c844d07a3b0bdefed6aa066c2ab7fc2cf871 (diff)
downloadghdl-45bec6292a41661320e209ac343362599df9feef.tar.gz
ghdl-45bec6292a41661320e209ac343362599df9feef.tar.bz2
ghdl-45bec6292a41661320e209ac343362599df9feef.zip
files_map: add comments.
Diffstat (limited to 'src/files_map.adb')
-rw-r--r--src/files_map.adb1
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);