search

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
https://coq-community.org/coq-ext-lib/
BSD 2-Clause "Simplified" License
129 stars 46 forks source link

Fix StateGame.v example #104

Closed MSoegtropIMC closed 3 years ago

MSoegtropIMC commented 3 years ago

Doing some "smoke tests" on the Coq platform I found that the StateGame.v example no longer works - i think cause of changes in recursive requires in Coq. This PR provides a simple fix.