Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Using operator[] instead of std::unordered_map::insert
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 26 Jul 2017 20:21:18 +0000 (22:21 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 26 Jul 2017 20:22:50 +0000 (22:22 +0200)
commit3228c673cab99b919374f40f9000e93e970fa994
tree32b5db2a24be26064fe8e2b956df5ad0c830e15b
parent5faf90176fb61aaa518448b708f13ba093432d26
Using operator[] instead of std::unordered_map::insert

insert does not allow to replace the content associted to an already
existing key.

Initial report and patch by @rktesser as part of #125 (but unrelated to
the rest of #125, thus the partial application). Thanks.
src/xbt/xbt_replay.cpp