diff options
| author | Aki Van Ness <aki@yosyshq.com> | 2022-02-24 09:54:03 -0500 |
|---|---|---|
| committer | N. Engelhardt <nakengelhardt@gmail.com> | 2022-04-08 08:05:15 +0200 |
| commit | 1be9bef28bca20014ee778a986280453a6b47a38 (patch) | |
| tree | 2fc07da970572ec0ea08f2dc4f3b10d2e6fefaa0 /backends/btor | |
| parent | 43b2fc55660bd36ca9553b03ea6ddc3b2dfe4231 (diff) | |
| download | yosys-1be9bef28bca20014ee778a986280453a6b47a38.tar.gz yosys-1be9bef28bca20014ee778a986280453a6b47a38.tar.bz2 yosys-1be9bef28bca20014ee778a986280453a6b47a38.zip | |
pass jny: changed the constructor initializers to use parens rather than curly-braces to hopefully make GCC 4.8 happy
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions