diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-09-01 11:36:02 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-09-01 11:36:02 +0200 |
| commit | e07698818dfe3c8e5f87b13090c7e70d22189e2a (patch) | |
| tree | eb4384ce1b2ef627f8fe0a9533c298e308c8337d /backends/btor/btor.cc | |
| parent | e3664066d5684af444c5a1edb02b9e7543cba38d (diff) | |
Using std::vector<RTLIL::State> instead of RTLIL::Const for RTLIL::SigChunk::data
Diffstat (limited to 'backends/btor/btor.cc')
| -rw-r--r-- | backends/btor/btor.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 9b770518..3482faa7 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -294,7 +294,8 @@ struct BtorDumper int l=-1; if(chunk->wire == NULL) { - l=dump_const(&chunk->data, chunk->width, chunk->offset); + RTLIL::Const data_const(chunk->data); + l=dump_const(&data_const, chunk->width, chunk->offset); } else { |