Some crocs eat only fish. Eustarine crocs have been known to kill men and cattle. He is lucky.
Neither one of them were probably thinking of eating at the time:')