anchor.diff:  
           // update the cached options
           if updated then
  -            projectInfoManager.UpdateProjectInfo(tryGetOrCreateProjectId workspace, project.Id, site, userOpName + ".SyncProject")
  +            projectInfoManager.UpdateProjectInfo(tryGetOrCreateProjectId workspace, project.Id, site, userOpName + ".SyncProject", invalidateConfig=true)
   
       member this.SetupProjectFile(siteProvider: IProvideProjectSite, workspace: VisualStudioWorkspaceImpl, userOpName) =
           let userOpName = userOpName + ".SetupProjectFile"
  
positive.code:         let referencePaths = references |> Seq.map(fun r -> fullPath r.Reference) |> Seq.toArray
          let projectId = workspace.ProjectTracker.GetOrCreateProjectIdForPath(path, projectDisplayNameOf path)
          projectOptionsTable.SetOptionsWithProjectId(projectId, sourcePaths, referencePaths, options.ToArray())
          this.UpdateProjectInfoWithProjectId(projectId, "HandleCommandLineChanges")
  
      member __.Checker = checkerProvider.Checker
  
  
negative.code:     member this.ProvideProjectSiteProvider(project:Project) = provideProjectSiteProvider(workspace, project, serviceProvider, Some projectOptionsTable)
  
      /// Tell the checker to update the project info for the specified project id
      member this.UpdateProjectInfoWithProjectId(projectId:ProjectId, userOpName, invalidateConfig) =
          let hier = workspace.GetHierarchy(projectId)
          match hier with
          | null -> ()
  