Remove a useless match

Discovered as useless due to a bug in Coq trunk:
https://coq.inria.fr/bugs/show_bug.cgi?id=3561
Merge pull request #452 from JasonGross/remove-useless-match

Remove a useless match