Merge pull request #18140 from AndreaCatania/coverity1

Fixed wrong function call
This commit is contained in:
Rémi Verschelde 2018-04-12 11:13:43 +02:00 committed by GitHub
commit 23fc8ca223
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -996,7 +996,7 @@ public:
}
void reset() {
result_collision_objects.empty();
result_collision_objects.clear();
}
};