#ifndef PQCLEAN_MCELIECE6960119F_AVX_PK_GEN_H #define PQCLEAN_MCELIECE6960119F_AVX_PK_GEN_H /* This file is for public-key generation */ #include int PQCLEAN_MCELIECE6960119F_AVX_pk_gen(unsigned char * /*pk*/, uint32_t * /*perm*/, const unsigned char * /*sk*/); #endif