diff options
Diffstat (limited to 'backends/btor/btor.cc')
| -rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 8377b259..7e36db9f 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -275,7 +275,7 @@ struct BtorDumper assert(wire_line_num>0); ++line_num; str = stringf("%d slice %d %d %d %d;2", line_num, chunk->width, wire_line_num, - chunk->wire->width - chunk->offset - 1, chunk->wire->width - chunk->offset - chunk->width); + chunk->width + chunk->offset - 1, chunk->offset); fprintf(f, "%s\n", str.c_str()); l = line_num; } |