Remove workaround that is not needed in Coq >= 8.15.
Passed
Robbert Krebbers
created pipeline for commit
9d074f8d
, finished
Related merge request !486 to merge robbert/remove_coq_14571_workaround
5 minutes 11 seconds, queued for 4 seconds