ProjectExplorer: Remove unneeded cast.
authorChristian Kandeler <christian.kandeler@digia.com>
Tue, 18 Feb 2014 14:55:19 +0000 (15:55 +0100)
committerChristian Kandeler <christian.kandeler@digia.com>
Tue, 18 Feb 2014 15:15:28 +0000 (16:15 +0100)
commit02369a1636f8693d4b4eb0f385a22765ffa0262a
tree7f9c26cfd5c6ce339cfbdb30424d7b5008e64c4b
parenta42b7864711528e98504d2b5cbc5a56d41b7b090
ProjectExplorer: Remove unneeded cast.

Change-Id: Ic234537e7d446a2054af06aed1abcca87d6d803c
Reviewed-by: Daniel Teske <daniel.teske@digia.com>
src/plugins/projectexplorer/projectexplorer.cpp