diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-11-15 06:36:34 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-11-15 06:36:34 +0100 |
commit | ac54fb8f7f7130c9bb18124694ea9de07266f214 (patch) | |
tree | cd36bfdbc55c98bed4f030ef68f8bf571b410ee1 /src/grt/grt-files_operations.ads | |
parent | 9518660d894ff1695ba84f7fe060f50bc643d701 (diff) | |
download | ghdl-ac54fb8f7f7130c9bb18124694ea9de07266f214.tar.gz ghdl-ac54fb8f7f7130c9bb18124694ea9de07266f214.tar.bz2 ghdl-ac54fb8f7f7130c9bb18124694ea9de07266f214.zip |
grt-files_operations: reduce dependencies.
Diffstat (limited to 'src/grt/grt-files_operations.ads')
-rw-r--r-- | src/grt/grt-files_operations.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/grt/grt-files_operations.ads b/src/grt/grt-files_operations.ads index ab3f70ef2..c6ee8751d 100644 --- a/src/grt/grt-files_operations.ads +++ b/src/grt/grt-files_operations.ads @@ -83,7 +83,11 @@ package Grt.Files_Operations is Op_Close_Error, -- Incorrect file name (too long). - Op_Filename_Error + Op_Filename_Error, + + -- Incorrect file type. + Op_Signature_Error + ); -- General files. |