Fix BTOR output tags syntax in writye_btor

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 53359bd7bd76e48cf1e963623a8be5cf64fb099a..96044e3395e9198621614743738e631bf29614ad 100644 (file)
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -932,9 +932,8 @@ struct BtorWorker
 
                        btorf_push(stringf("output %s", log_id(wire)));
 
-                       int sid = get_bv_sid(GetSize(wire));
                        int nid = get_sig_nid(wire);
-                       btorf("%d output %d %d %s\n", next_nid++, sid, nid, log_id(wire));
+                       btorf("%d output %d %s\n", next_nid++, nid, log_id(wire));
 
                        btorf_pop(stringf("output %s", log_id(wire)));
                }