No because that's not a trademark violation in anyway. Using GPL code in a non GPL project is a violation of copyright law though.