search

vafeiadis / hahn

Hahn: A Coq library
MIT License
29 stars 15 forks source link

Make Hahn compile with 8.18 #34

Closed JonasOberhauser closed 5 months ago

JonasOberhauser commented 5 months ago

Removed references to deprecated instantiate tactic, which appears to be enough to make the library compile with 8.18

anlun commented 5 months ago

@JonasOberhauser I've done the same in #32 :)