diff options
author | bunnei <bunneidev@gmail.com> | 2014-12-19 16:47:42 -0500 |
---|---|---|
committer | bunnei <bunneidev@gmail.com> | 2014-12-19 16:47:42 -0500 |
commit | eb394ac0af110a2c1b10901171f4f5303881b147 (patch) | |
tree | a20133305446928b38520a38b3c50a9ccff4296d /src | |
parent | 245abb412501e231aee2fef5ffa96e728250edbb (diff) | |
parent | d31c23e95857ccbb4b40a712251cbf6a8c2d5d67 (diff) |
Merge pull request #309 from chinhodado/patch-1
Properly erase/remove a DebuggerObserver
Diffstat (limited to 'src')
-rw-r--r-- | src/video_core/gpu_debugger.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/video_core/gpu_debugger.h b/src/video_core/gpu_debugger.h index 16b1656b..4eb8b3d4 100644 --- a/src/video_core/gpu_debugger.h +++ b/src/video_core/gpu_debugger.h @@ -85,7 +85,7 @@ public: void UnregisterObserver(DebuggerObserver* observer) { - std::remove(observers.begin(), observers.end(), observer); + observers.erase(std::remove(observers.begin(), observers.end(), observer), observers.end()); observer->observed = nullptr; } |