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 | |
| parent | 245abb412501e231aee2fef5ffa96e728250edbb (diff) | |
| parent | d31c23e95857ccbb4b40a712251cbf6a8c2d5d67 (diff) | |
Merge pull request #309 from chinhodado/patch-1
Properly erase/remove a DebuggerObserver
| -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 16b1656bb..4eb8b3d4d 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; } |
