PI before CI
[yosys.git] / backends / aiger / xaiger.cc
index bad9322bb40d188dd7c7dcb506f43cf027eac7aa..b0770ec96c715ff23fedb55052356d0e075181cc 100644 (file)
@@ -295,12 +295,12 @@ struct XAigerWriter
                aig_map[State::S0] = 0;
                aig_map[State::S1] = 1;
 
-               for (auto bit : ci_bits) {
+               for (auto bit : input_bits) {
                        aig_m++, aig_i++;
                        aig_map[bit] = 2*aig_m;
                }
 
-               for (auto bit : input_bits) {
+               for (auto bit : ci_bits) {
                        aig_m++, aig_i++;
                        aig_map[bit] = 2*aig_m;
                }