[FIX] Fixed issue with proxy CompareType.

git-svn-id: http://svn.seqan.de/seqan/trunk@14681 e6417c60-b987-48fd-844e-b20f0fcc1017