Replace definition of value_sett::object_map_dt - #4694

Merged

romainbrenguier merged 2 commits into

diffblue:developfrom

romainbrenguier:clean-up/value-set2

May 23, 2019

Commits on May 23, 2019

Add template parameter to reference_counting
romainbrenguier
committed
e7bd309
Replace class object_map_dt by std::map
romainbrenguier
committed
fdfca41