aboutsummaryrefslogtreecommitdiffstats
path: root/python
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-11-06 19:26:31 +0100
committerTristan Gingold <tgingold@free.fr>2019-11-06 19:26:31 +0100
commita9c2b17053a324a92e86dd0e3bc65d34bae08db3 (patch)
tree4ee7cd7713aa0d8828102b59f012e43bcfc2f099 /python
parent3a49c7ff29374c6f085e2d9dc46b200afbfc9a2c (diff)
downloadghdl-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.py3
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