Commit 0d0620d5 authored by Robbert Krebbers's avatar Robbert Krebbers

Try the ssreflect apply at the place the CI builder fails.

I cannot reproduce the error of the CI builder on my machine with the
same version of Coq (8.5pl2).
parent e46aa078
Pipeline #2563 failed with stage
in 3 minutes and 6 seconds