Contents ssreflect.ml4.patch contains a patch to Ssreflect that works with TCoq. See the top-level readme for how to patch ssreflect (bundled with mathcomp).