Commit 682becbf authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Revert "Temporarily remove a test that fails in Coq 8.6. See #108 for details."

Instead, as Ralf suggested, just comment the test out.
parent 6926a0c8
Pipeline #4969 passed with stages
in 12 minutes and 51 seconds