diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-29 19:35:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-29 19:35:23 -0700 |
| commit | d5f0794a531b36976d2c4d181b1c3921b801bbfa (patch) | |
| tree | 8796974703b6f343bc1c579b1d90de94f14a38e8 /kernel/log.h | |
| parent | 8474c5b366660153cae03a9de4af8e1ed809856d (diff) | |
| parent | 8c2b4f0a50678f949418b7b7329550615fadde83 (diff) | |
| download | yosys-d5f0794a531b36976d2c4d181b1c3921b801bbfa.tar.gz yosys-d5f0794a531b36976d2c4d181b1c3921b801bbfa.tar.bz2 yosys-d5f0794a531b36976d2c4d181b1c3921b801bbfa.zip | |
Merge pull request #1414 from hzeller/improve-replace-with-empty-map
Avoid work in replace() if rules empty.
Diffstat (limited to 'kernel/log.h')
0 files changed, 0 insertions, 0 deletions