summaryrefslogtreecommitdiff
path: root/backends
diff options
context:
space:
mode:
Diffstat (limited to 'backends')
-rw-r--r--backends/btor/btor.cc3
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
{