diff options
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 = [] |