Warn on missing pop options

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

I would say this has to be an error, but will need patches to projects.