Corrects btor2 backend

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 4472993d4fadbcd3678b1fd8b1e49afddaeae675..f617b7ec2bbaab87071d1cd0659c7fae940c9bfe 100644 (file)
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -897,9 +897,12 @@ struct BtorWorker
 
                                                        int sid = get_bv_sid(GetSize(s));
                                                        int nid = next_nid++;
-                                                       btorf("%d input %d %s\n", nid, sid);
+                                                       btorf("%d input %d\n", nid, sid);
                                                        nid_width[nid] = GetSize(s);
 
+                                                       for (int j = 0; j < GetSize(s); j++)
+                                                               nidbits.push_back(make_pair(nid, j));
+
                                                        i += GetSize(s)-1;
                                                        continue;
                                                }