diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:26:31 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:26:31 +0100 |
commit | a9c2b17053a324a92e86dd0e3bc65d34bae08db3 (patch) | |
tree | 4ee7cd7713aa0d8828102b59f012e43bcfc2f099 /python | |
parent | 3a49c7ff29374c6f085e2d9dc46b200afbfc9a2c (diff) | |
download | ghdl-a9c2b17053a324a92e86dd0e3bc65d34bae08db3.tar.gz ghdl-a9c2b17053a324a92e86dd0e3bc65d34bae08db3.tar.bz2 ghdl-a9c2b17053a324a92e86dd0e3bc65d34bae08db3.zip |
files_map: add Discard_Source_File, Free_Source_File,
Diffstat (limited to 'python')
-rw-r--r-- | python/libghdl/thin/files_map.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/python/libghdl/thin/files_map.py b/python/libghdl/thin/files_map.py index b0029b0a4..0025c9178 100644 --- a/python/libghdl/thin/files_map.py +++ b/python/libghdl/thin/files_map.py @@ -38,4 +38,7 @@ Read_Source_File = libghdl.files_map__read_source_file Reserve_Source_File = libghdl.files_map__reserve_source_file +Discard_Source_File = libghdl.files_map__discard_source_file +Free_Source_File = libghdl.files_map__free_source_file + Get_Last_Source_File_Entry = libghdl.files_map__get_last_source_file_entry |