Broken with Coq master

[Gaëtan Gilbert]

eg https://gitlab.com/coq/coq/-/jobs/4025276943

[Andrew Appel]

I'll fix this today. The problem is that VST's copy of CompCert is the CompCert 3.12 release, and this needs to be updated from CompCert master branch.

[Gaëtan Gilbert]

BTW it seems you don't test coq master in your CI, is that intentional?

[Andrew Appel]

Since commit 7d3133f we now test Coq master in VST CI.