diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-12 11:13:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-12 11:13:43 +0200 |
| commit | 23fc8ca223acb7a2150a57280a3ddf9abac575e3 (patch) | |
| tree | b37f81e12092d660ba95eaf6c525453a344e0c41 | |
| parent | 6862cd7bf15fc751bc03f3d5475e6ce2bed41a73 (diff) | |
| parent | df2a626b49a4e8ead003ebefb9663c63156b4efa (diff) | |
Merge pull request #18140 from AndreaCatania/coverity1
Fixed wrong function call
| -rw-r--r-- | modules/bullet/space_bullet.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/bullet/space_bullet.cpp b/modules/bullet/space_bullet.cpp index 9a88b4692b..8450a66f65 100644 --- a/modules/bullet/space_bullet.cpp +++ b/modules/bullet/space_bullet.cpp @@ -996,7 +996,7 @@ public: } void reset() { - result_collision_objects.empty(); + result_collision_objects.clear(); } }; |