mattam82/Coq-Equations — pull request #15 by np (2012-03-21 15:55:47+00:00)
Title: Crude workaround for Coq 8.3pl3

This is not a real pull request. Meaning that a real fix would try to handle the cases where None is returned.

However in the meantime this can help people using Coq-Equations with Coq 8.3pl3 and so far it works fine.