msprotz opened this issue 2 years ago · 1 comments
Right now, the presence of the -static-header flag disables internal header logic. This would improve code quality in HACL*.
-static-header
Fixed by #316