Fix btor concat

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 51715ff25589654187072805314ccf6c608cc1a3..80ff4eedfb786584c7f7c70416e502096d1d24a8 100644 (file)
--- 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;