diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-10 16:27:18 -0700 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-03-10 16:27:18 -0700 |
| commit | b02d9c2634de0898b2c483c438ba56540e0f3f69 (patch) | |
| tree | ec65a09c68f324f5358e93a473ae1506b860d7ad /backends/smt2/Makefile.inc | |
| parent | ff4c2a14ae34eeb899c3cf0ca1109f0106b41679 (diff) | |
| download | yosys-b02d9c2634de0898b2c483c438ba56540e0f3f69.tar.gz yosys-b02d9c2634de0898b2c483c438ba56540e0f3f69.tar.bz2 yosys-b02d9c2634de0898b2c483c438ba56540e0f3f69.zip | |
Fix handling of cases that look like sva labels, fixes #862
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'backends/smt2/Makefile.inc')
0 files changed, 0 insertions, 0 deletions