diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-05 09:26:44 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-06-05 09:26:44 +0200 |
| commit | 4190d7c09477f4bdd35cbd7bf5388254764b2321 (patch) | |
| tree | 23378184b31f738edd504f435826dbd018f24b39 /backends/smt2/example.v | |
| parent | 1332051f331108e73ac468f226034720bd856281 (diff) | |
| download | yosys-4190d7c09477f4bdd35cbd7bf5388254764b2321.tar.gz yosys-4190d7c09477f4bdd35cbd7bf5388254764b2321.tar.bz2 yosys-4190d7c09477f4bdd35cbd7bf5388254764b2321.zip | |
Fix typo in fmcombine log message, fixes #1063
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'backends/smt2/example.v')
0 files changed, 0 insertions, 0 deletions