Code

Adapt w.r.t. coq/coq#18909.#108

Code

Merged

JasonGross merged 1 commit intomit-plv:mastermit-plv/fiat:masterfrom ppedrot:hint-using-strict-globrefppedrot/fiat:hint-using-strict-globrefCopy head branch name to clipboardApr 9, 2024

+2-2

Commits

Commits on Apr 9, 2024

• Adapt w.r.t. coq/coq#18909.

  ppedrot

  committed
  952c8d6