From 63343aeaaa96d947695ac624f7942cc60b0e9e0f Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 9 Dec 2017 05:58:14 +0100
Subject: [PATCH] Fix btor concat

---
 backends/btor/btor.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.30.2