Se abbiamo installato all?interno di Visual Studio l?estensione Code Contracts for .NET ci saremo sicuramente imbattuti nel fastidioso problema che riguarda la perenne notifica di aggiornamento di tale estensione, nonostante almeno la prima volta l?abbiamo aggiornata senza problema. Questo piccolo bug è dovuto al file manifest dell?estensione che presenta un numero di versione non allineato.

Possiamo risolvere questo problema editando il file manualmente. Procediamo come segue:

• Apriamo Visual Studio Code come amministratore;
• Dal menu File scegliamo Open e navighiamo verso C:\Program Files (x86)\Microsoft Visual Studio 14.0\Common7\IDE\Extensions\Microsoft\CodeContracts\\ dove indica la versione di Code Contracts for .NET installata, nel mio caso l?ultima disponibile (1.9.10714.2)
• Apriamo il file extension.manifest;

Ora non ci rimane che modificare l?attributo Id dell?elemento XML Identity con il numero di versione che troviamo nel path del file, nel mio caso 1.9.10714.2

Una volta fatto, salviamo il file, chiudiamo e apriamo Visual Studio per essere sicuro che il fix abbia funzionato: