Does a hippo eat a croccidles?

Hippos are herbivores, so they don't eat meat. However, they have been known to kill crocodiles. In a few cases, hippos act as scavengers, but I don't think they are known to have eaten dead crocodiles.