autogenerated c files don't have corresponding .h files

2 files changed, 0 insertions, 12 deletions

diff --git a/src/Specific/montgomery32_2e194m33/feadd.h b/src/Specific/montgomery32_2e194m33/feadd.h
deleted file mode 100644
index 9e96b396b..000000000
--- a/src/Specific/montgomery32_2e194m33/feadd.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <stdint.h>
-
-#undef force_inline
-#define force_inline __attribute__((always_inline))
-
-void force_inline feadd(uint64_t* out, uint64_t x14, uint64_t x15, uint64_t x13, uint64_t x11, uint64_t x9, uint64_t x7, uint64_t x5, uint64_t x26, uint64_t x27, uint64_t x25, uint64_t x23, uint64_t x21, uint64_t x19, uint64_t x17);
diff --git a/src/Specific/montgomery32_2e194m33/fenz.h b/src/Specific/montgomery32_2e194m33/fenz.h
deleted file mode 100644
index 2cafcda9d..000000000
--- a/src/Specific/montgomery32_2e194m33/fenz.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <stdint.h>
-
-#undef force_inline
-#define force_inline __attribute__((always_inline))
-
-void force_inline fenz(uint64_t* out, uint64_t x11, uint64_t x12, uint64_t x10, uint64_t x8, uint64_t x6, uint64_t x4, uint64_t x2);