18 lines
247 B
C
18 lines
247 B
C
#ifndef REPETITION_H
|
|
#define REPETITION_H
|
|
|
|
|
|
/**
|
|
* @file repetition.h
|
|
* @brief Header file for repetition.c
|
|
*/
|
|
|
|
#include <stdint.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
void PQCLEAN_HQC128_AVX2_repetition_code_decode(uint64_t *m, const uint64_t *em);
|
|
|
|
|
|
#endif
|