summaryrefslogtreecommitdiff
path: root/backends/btor/btor.cc
diff options
context:
space:
mode:
authorAhmed Irfan <irfan@ubuntu.(none)>2014-01-20 18:35:52 +0100
committerAhmed Irfan <irfan@ubuntu.(none)>2014-01-20 18:35:52 +0100
commitaa3cb20e1ecb268ea2a663916518c311ceb60808 (patch)
tree0e82ada971144f2072d0ee594256c666cb0bb634 /backends/btor/btor.cc
parentc347f2825f150451e6fb82d3c1d65015cd5405d8 (diff)
slice bug corrected
Diffstat (limited to 'backends/btor/btor.cc')
-rw-r--r--backends/btor/btor.cc2
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;
}