Question: is divine smite a bonus action?
Answer: However, your player is right about the Divine Smite combo because while thunderous smite is a spell that is cast using a bonus action before you attack, Divine Smite is not a spell and does not require a bonus action it is a class feature that requires no action and is used after you hit with an attack.