Fix coverity #29405: Unchecked dynamic_cast
authorTobias Markus <tobbi@mozilla-uk.org>
Sat, 14 Feb 2015 16:07:49 +0000 (17:07 +0100)
committerTobias Markus <tobbi@mozilla-uk.org>
Sat, 14 Feb 2015 16:07:49 +0000 (17:07 +0100)
commit821ebaf57c3c02c2d74a1b87055bb55d88d9ae70
tree5ae84f12751a9658ef2cf8b6f89c135ac4176eb4
parent79e34a1f2a55c2b7cdb74b2f12053dfe141ceba9
Fix coverity #29405: Unchecked dynamic_cast
src/video/texture_manager.cpp