1 files changed, 1 insertions, 23 deletions
diff --git a/src/add_tweakeysequences/tweakey.h b/src/add_tweakeysequences/tweakey.h
index 5470bc8..7f2415f 100644..120000
--- a/src/add_tweakeysequences/tweakey.h
+++ b/src/add_tweakeysequences/tweakey.h
@@ -1,23 +1 @@
-#ifndef TWEAKEY_H
-#define TWEAKEY_H
-
-#include <stdint.h>
-
-#include "parameters.h"
-
-
-void tweakey_state_init(
-    uint8_t TK[TWEAKEY_BYTES],
-    const uint8_t key[KEY_BYTES],
-    const uint8_t tweak[TWEAK_BYTES]
-);
-
-void tweakey_state_extract(
-    const uint8_t TK[TWEAKEY_BYTES],
-    uint8_t round_constant,
-    uint8_t round_tweakey[ROUND_TWEAKEY_BYTES] /* output */
-);
-
-void tweakey_state_update(uint8_t TK[TWEAKEY_BYTES]);
-
-#endif /* TWEAKEY_H */
+../ref/tweakey.h
+\ No newline at end of file