diff options
author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-07-30 23:55:18 +0200 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2021-08-23 16:35:33 +0200 |
commit | 5314281f0b8090f820ae64b652e40c300c2bdec2 (patch) | |
tree | 56bb66b407cd669786420ae8d98b76b5fb6ad2b2 /pyGHDL/cli | |
parent | 8a71357337e46c256f9a243fb574dd78dcec67bc (diff) | |
download | ghdl-5314281f0b8090f820ae64b652e40c300c2bdec2.tar.gz ghdl-5314281f0b8090f820ae64b652e40c300c2bdec2.tar.bz2 ghdl-5314281f0b8090f820ae64b652e40c300c2bdec2.zip |
Fixes.
Diffstat (limited to 'pyGHDL/cli')
-rwxr-xr-x | pyGHDL/cli/dom.py | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/pyGHDL/cli/dom.py b/pyGHDL/cli/dom.py index 83ef7c42e..63350d729 100755 --- a/pyGHDL/cli/dom.py +++ b/pyGHDL/cli/dom.py @@ -297,7 +297,7 @@ class Application(LineTerminal, ArgParseMixin): ) ) elif args.Directory is not None: - d : Path = args.Directory + d: Path = args.Directory if not d.exists(): self.WriteError("Directory '{0!s}' does not exist.".format(d)) @@ -311,12 +311,11 @@ class Application(LineTerminal, ArgParseMixin): DOM translation time: {:5.3f} us """ ).format( - document.LibGHDLProcessingTime * 10**6, - document.DOMTranslationTime * 10**6, + document.LibGHDLProcessingTime * 10 ** 6, + document.DOMTranslationTime * 10 ** 6, ) ) - PP = PrettyPrint() buffer = [] |