search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Fix Makefile #3394

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

PR https://github.com/FStarLang/FStar/pull/3393 made ModifiesGen.fst.checked not be created on a normal (non-CI) run of make. Fix that to not break clients.