diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-07-20 19:22:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-20 19:22:59 +0200 |
commit | 323f6f6f6006eadcaec180f2cc1556f1f3303be3 (patch) | |
tree | 5fa7d4a1b89185e008072bdbd51cbbcd05688280 /backends/intersynth | |
parent | 1de07eeee22499760d18e00ba32edf64564aa25e (diff) | |
parent | 68b5d0c3b11588946982939c00fd6febe198e13f (diff) | |
download | yosys-323f6f6f6006eadcaec180f2cc1556f1f3303be3.tar.gz yosys-323f6f6f6006eadcaec180f2cc1556f1f3303be3.tar.bz2 yosys-323f6f6f6006eadcaec180f2cc1556f1f3303be3.zip |
Merge pull request #586 from hzeller/more-sourcepos-logging
Convert more log_error() to log_file_error() where possible.
Diffstat (limited to 'backends/intersynth')
0 files changed, 0 insertions, 0 deletions