From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 9 Dec 2017 04:58:14 +0000 (+0100)
Subject: Fix btor concat
X-Git-Tag: yosys-0.8~246^2~13
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=63343aeaaa96d947695ac624f7942cc60b0e9e0f;p=yosys.git

Fix btor concat
---

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 51715ff25..80ff4eedf 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -335,7 +335,7 @@ struct BtorWorker
 				if (nid >= 0) {
 					int sid = get_bv_sid(width+upper-lower+1);
 					nid4 = next_nid++;
-					btorf("%d concat %d %d %d\n", nid4, sid, nid, nid3);
+					btorf("%d concat %d %d %d\n", nid4, sid, nid3, nid);
 				}
 
 				width += upper-lower+1;