Я установил обновление кодовых контрактов, но версия Контрактов кода, показанная в окне "Расширения и обновления", не изменилась. Однако в свойствах проекта номер версии изменился.
Почему текущая версия в "Расширениях и обновлениях" не изменяется и как я могу ее исправить?
Если это помогает: я использую Windows 7 Enterprise и Visual Studio Professional 2013
EDIT:
- Я перезапустил программу и компьютер.
- Я только что установил Visual Studio 2013. Я не устанавливаю более старые версии Visual Studio.
- В закладке "Контракты кода" в свойствах проекта я вижу новый номер версии. И я думаю, что библиотеки Code Contracts обновлены.
- Я попытался удалить и переустановить кодовые контракты. Это не помогает. Но я не хочу переустанавливать Visual Studio.
ИЗМЕНИТЬ 2:
Расширения и обновления:
Свойства проекта: