Closed mtzguido closed 1 month ago
I broke the binary package pretty badly in https://github.com/FStarLang/FStar/pull/3509 by removing a default include of lib/fstar/, this restores it. Also, the binary package should get the fstar.include in ulib for it to work.
lib/fstar/
I broke the binary package pretty badly in https://github.com/FStarLang/FStar/pull/3509 by removing a default include of
lib/fstar/, this restores it. Also, the binary package should get the fstar.include in ulib for it to work.