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 /libs/minisat | |
| 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 'libs/minisat')
0 files changed, 0 insertions, 0 deletions