From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 23 Mar 2019 13:39:42 +0000 (+0100)
Subject: Fix BTOR output tags syntax in writye_btor
X-Git-Tag: yosys-0.9~225^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e78f5a3055cae54c44303bab187ad2ef11205ca3;p=yosys.git

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 53359bd7b..96044e339 100644
--- 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)));
 		}