1 files changed, 0 insertions, 23 deletions
diff --git a/src/add_tabulatedtweakey/tweakey.h b/src/add_tabulatedtweakey/tweakey.h
deleted file mode 100644
index 5470bc8..0000000
--- a/src/add_tabulatedtweakey/tweakey.h
+++ /dev/null
@@ -1,23 +0,0 @@
-#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 */