Can you please post some screenshots?
You may need to reset your registry for SolidWorks.
You can go to the following registry key: HKEY\Current User\Software\SolidWorks\SolidWorks 20xx and rename it to something else. Then start SolidWorks again, and check if the option is present now. Make sure to back up your registry before making any changes.
He does not need to back up the original registry unless he plans on deleting it, which I highly do not recommend unless he has a good reason for it. As soon as he renames it to something else and launches SOLIDWORKS it will create a new registry instance. If it doesn't fix his issue, he can just delete the new registry and rename his old one to original reg callout which is Solidworks.
This might be too late in coming Trung Do, but I recently had this happen to me and I couldn't understand why I couldn't edit the feature in the tree and mark the smart fasteners up to date. It then occurred to me that my toolbox doesn't automatically open when I open SolidWorks. After opening toolbox, the option to verify the smart fastener came back. I hope this helps someone!
Retrieving data ...