I can see a 100NL fish going all in with a lower flush, so the way it played out I'd call if he was fishy enough to do that But yeah, potting river and calling raise would have been nicer