Replace `std::map` with `dict` for `unique_bit_id`.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Sun, 19 Apr 2020 22:44:38 +0000 (22:44 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Thu, 14 May 2020 20:06:54 +0000 (20:06 +0000)
passes/techmap/techmap.cc

index b4df6142ec216b1ab809216ee09159fc4e40281a..a915f207d7875941a5908c70045613800c054dd0 100644 (file)
@@ -740,7 +740,7 @@ struct TechmapWorker
                                        }
 
                                        int unique_bit_id_counter = 0;
-                                       std::map<RTLIL::SigBit, int> unique_bit_id;
+                                       dict<RTLIL::SigBit, int> unique_bit_id;
                                        unique_bit_id[RTLIL::State::S0] = unique_bit_id_counter++;
                                        unique_bit_id[RTLIL::State::S1] = unique_bit_id_counter++;
                                        unique_bit_id[RTLIL::State::Sx] = unique_bit_id_counter++;