diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-19 16:13:44 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-19 16:13:44 +0000 |
| commit | 1053032a81ea54847bfef944d3c5481de8a2046e (patch) | |
| tree | 2df5df4bd276886156c8680f4e819174afdd1d14 /backends/cxxrtl/cxxrtl.cc | |
| parent | 299ab76a093f0cde95fdc0214b371140d7f339b9 (diff) | |
| download | yosys-1053032a81ea54847bfef944d3c5481de8a2046e.tar.gz yosys-1053032a81ea54847bfef944d3c5481de8a2046e.tar.bz2 yosys-1053032a81ea54847bfef944d3c5481de8a2046e.zip | |
smtbmc: Fix typo in error message.
Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
Diffstat (limited to 'backends/cxxrtl/cxxrtl.cc')
0 files changed, 0 insertions, 0 deletions