Hi @MackieLoeffel , to get rid of the warning you can either disable it in your flags declaration, or bump to
(using coq 0.3); sorry for the problems
Thanks, I will update to coq 0.3 then.
MackieLoeffel has marked this topic as resolved.
Last updated: Oct 16 2021 at 09:07 UTC