I think this hack was needed for older versions of Coq, but it seems no longer be necessary. I added some tests to make sure that the instance is actually found.
I think this hack was needed for older versions of Coq, but it seems no longer be necessary. I added some tests to make sure that the instance is actually found.