Erase decorations removed from internal collections
authorDavid Neto <dneto@google.com>
Wed, 29 Nov 2017 20:58:35 +0000 (15:58 -0500)
committerDavid Neto <dneto@google.com>
Thu, 30 Nov 2017 16:35:02 +0000 (11:35 -0500)
commit188cd3780d76256d6bfcbdb216b6368e9b070628
tree1c62f1f2fd059828b859986d3f0f6cda56c35b3e
parent3c2e4c7d997404cb8d43299117373a697c28fde1
Erase decorations removed from internal collections

Fixes Android arm-64-v8a build with NDK r14.  That's because
we no longer ignore the result of the std::remove.
source/opt/decoration_manager.cpp