Updating Patchnames in Logic