If possible, I would record both mics with the same takes on different channels. Later in the mix, listen which one sounds good-better and use it.

also if the one has picked up some frequencies that the other is missing, bring up that  mic in the mix as well.

Viktor