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

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

204 stars 51 forks source link

Adapt to https://github.com/coq/coq/pull/19530 #269

Open proux01 opened 2 months ago

proux01 commented 2 months ago

Adapt to https://github.com/coq/coq/pull/19530 This is an adaptation in anticipation of the day the temporary backward compatibility introduced in the upstream PR will be removed (probably a few years in the future). Merging this is not required for the upstream PR, you can do whatever you want with it.