You don't need to designate him if he still has options, you can just demote him; however, it may cause his ratings to drop as some players suffer a drop when demoted, so probably not a cool thing to do if you just traded him. I'd just let it be, it's only 3 games til the trade goes through.