In this case, no, just svn update your core directory (or upload the file that changed, it was just one), then refresh the cache.
Now if I can just figure out how to update my remote site with its separate core and renamed manager.
Does the fix require a rebuild and install?