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 makefile for src/parsers/generated #262

Open gebner opened 9 months ago

gebner commented 9 months ago

The generated files build just fine nowadays.