Finish backout. (sigh)

1 files changed, 0 insertions, 28 deletions

diff --git a/lib/liboqs/src/sig/sphincs/pqclean_sphincs-sha256-128f-simple_clean/thash.h b/lib/liboqs/src/sig/sphincs/pqclean_sphincs-sha256-128f-simple_clean/thash.h
deleted file mode 100644
index 353f27d01..000000000
--- a/lib/liboqs/src/sig/sphincs/pqclean_sphincs-sha256-128f-simple_clean/thash.h
+++ /dev/null
@@ -1,28 +0,0 @@
-#ifndef PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_THASH_H
-#define PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_THASH_H
-
-#include "hash_state.h"
-
-#include <stdint.h>
-
-void PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_thash_1(
-    unsigned char *out, const unsigned char *in,
-    const unsigned char *pub_seed, uint32_t addr[8],
-    const hash_state *hash_state_seeded);
-
-void PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_thash_2(
-    unsigned char *out, const unsigned char *in,
-    const unsigned char *pub_seed, uint32_t addr[8],
-    const hash_state *hash_state_seeded);
-
-void PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_thash_WOTS_LEN(
-    unsigned char *out, const unsigned char *in,
-    const unsigned char *pub_seed, uint32_t addr[8],
-    const hash_state *hash_state_seeded);
-
-void PQCLEAN_SPHINCSSHA256128FSIMPLE_CLEAN_thash_FORS_TREES(
-    unsigned char *out, const unsigned char *in,
-    const unsigned char *pub_seed, uint32_t addr[8],
-    const hash_state *hash_state_seeded);
-
-#endif