Code Contracts for .NET extension
Visual Studioの拡張機能Code Contracts拡張機能がいつまでも1.5から1.7の更新がある、と表示されてうざ面倒でした。しょうがないので、調べてみるとこんな風にフォルダに過去バージョンが残っていました。
おそらくこの過去バージョンのうち、一番古いものを判定材料に使っているのでしょう。そういうわけで、以下のフォルダをばっさり削除して、再度Code Contractsを追加するか、最新版のみ残せばいいと思います。
C:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\IDE\Extensions\Microsoft\CodeContracts
