Picking up earlier version of source

[Chrisa]

I doubt this has anything to do with Vault but wondered if you'd had this happen before and might know the cause.

After a Windows 10 update over the weekend (probably a coincidence), one of our developers seems to be picking up a version 7 (3 years old) of a source file not the latest version 12. We've done get latest, removed all the source files and done get latest, removed and re-installed the vault, Still the same.
All the other developers are working OK. All the source and build scripts are in the vault so all users are identical and build source in exactly the same way.
We program in an unusual language called SynergyDE which has no way of knowing anything about vault versions and should be picking up what is in the Pc directory specified. Editing the source in question shows the correct version 12 code but a compile listing (to the point it fails due to the old code) looks to be the version 7 code. The are no other copies of the source file on the Pc. I'm mystified.
Any ideas you might have would be appreciated.
Chris

[Beth]

Your user may have had something affected in the cache file. Have the user clear the repository tree in the cache using instructions posted here: viewtopic.php?t=6.

[Tweedy]

Your user will make gains with these mass gainers and have had something affected in the cache file. Have the user clear the repository tree in the cache using instructions posted here: https://support.sourcegear.com/viewtopic.php?t=6.

Hi Beth, could this affect any other data btw? I think I need to do this as well.

[Beth]

It won't affect the data, but it will affect the statuses. You may get either a Missing or Unknown status. Just set the working folder again, then perform a Get Latest with the option Do Not Overwrite/Merge Later.