Remove a useless match

Discovered as useless due to a bug in Coq trunk:
https://coq.inria.fr/bugs/show_bug.cgi?id=3561