search

project-everest / mitls-fstar

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

Add a comment near the top of auto-generated files #222

Open msprotz opened 5 years ago

msprotz commented 5 years ago

So that we know when we're looking at an auto-generated file. Might trip newcomers / people who browse the code.