diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-22 16:30:02 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-22 16:30:02 +0100 |
| commit | ff3f2448b18ce01a7af876816df8f03cf32f3145 (patch) | |
| tree | 9b5aa68eb7e2cbaf66698d049fc8c7dd79c819d5 /backends/btor/btor.ys | |
| parent | c4f383e45263add92d0032be11a1b7397e4fcc25 (diff) | |
| download | yosys-ff3f2448b18ce01a7af876816df8f03cf32f3145.tar.gz yosys-ff3f2448b18ce01a7af876816df8f03cf32f3145.tar.bz2 yosys-ff3f2448b18ce01a7af876816df8f03cf32f3145.zip | |
Minor "write_smt2" help msg change
Diffstat (limited to 'backends/btor/btor.ys')
0 files changed, 0 insertions, 0 deletions