search

PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
424 stars 91 forks source link

Adapt to https://github.com/coq/coq/pull/18164 #747

Closed proux01 closed 7 months ago

proux01 commented 7 months ago

Adapt to https://github.com/coq/coq/pull/18164

This should be backward compatible

proux01 commented 7 months ago

This is a trivial one. We need it in order to merge https://github.com/coq/coq/pull/18164 in time for Coq 8.19 (branching soon).

proux01 commented 7 months ago

Thanks!