search

project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*
https://www.mitls.org
Other
173 stars 16 forks source link

Fix shadowing of Parse module by FStar.Parse #257

Closed mtzguido closed 1 year ago

mtzguido commented 1 year ago

Use the module Parse = Parse idiom. See:

--

This should fix the everest build

mtzguido commented 1 year ago

Merging as I have a local green and I don't think this should break anything... but a heads up to @msprotz just in case :)