diff options
author | whitequark <whitequark@whitequark.org> | 2020-06-19 15:46:54 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-19 15:46:54 +0000 |
commit | d5d0cc88d272b85c3be3677993596dcfa82d579f (patch) | |
tree | f95fb6ee8826f74df945a033ea2161b0fab6f82c /backends | |
parent | ede4b10da8fdbdcff900b93c6c723516901483ff (diff) | |
parent | 817411044a689cc26a5444a108f4f66c6484f632 (diff) | |
download | yosys-d5d0cc88d272b85c3be3677993596dcfa82d579f.tar.gz yosys-d5d0cc88d272b85c3be3677993596dcfa82d579f.tar.bz2 yosys-d5d0cc88d272b85c3be3677993596dcfa82d579f.zip |
Merge pull request #2175 from Xiretza/missing-noreturn
Add missing [[noreturn]] to log_file_error()
Diffstat (limited to 'backends')
0 files changed, 0 insertions, 0 deletions