diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-09 00:54:05 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-10 10:14:16 +0100 |
commit | b2a98ec0674c031688ebf479664db6fd4975b428 (patch) | |
tree | 7557451e8240f0df7ad2ebb6780391fce05377b7 /pyGHDL/libghdl/files_map.py | |
parent | 00274e966e0e10cca9707d489cf75090ae7f1b96 (diff) | |
download | ghdl-b2a98ec0674c031688ebf479664db6fd4975b428.tar.gz ghdl-b2a98ec0674c031688ebf479664db6fd4975b428.tar.bz2 ghdl-b2a98ec0674c031688ebf479664db6fd4975b428.zip |
Improved docstrings.
Diffstat (limited to 'pyGHDL/libghdl/files_map.py')
-rw-r--r-- | pyGHDL/libghdl/files_map.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pyGHDL/libghdl/files_map.py b/pyGHDL/libghdl/files_map.py index 423cec480..ba937a776 100644 --- a/pyGHDL/libghdl/files_map.py +++ b/pyGHDL/libghdl/files_map.py @@ -242,9 +242,9 @@ def Discard_Source_File(File: SourceFileEntry) -> None: """ Mark :obj:`File` as unavailable: clear the name and directory. - .. hint:: This is needed before creating a new source file with the same name. + .. hint:: This is needed before creating a new source file with the same name. - :param File: Source file to discard. + :param File: Source file to discard. """ libghdl.files_map__discard_source_file(File) |