3 files changed, 0 insertions, 18 deletions
diff --git a/src/Specific/solinas64_2e196m15/femul.h b/src/Specific/solinas64_2e196m15/femul.h
deleted file mode 100644
index b19a382e5..000000000
--- a/src/Specific/solinas64_2e196m15/femul.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <stdint.h>
-
-#undef force_inline
-#define force_inline __attribute__((always_inline))
-
-void force_inline femul(uint64_t* out, uint64_t x8, uint64_t x9, uint64_t x7, uint64_t x5, uint64_t x14, uint64_t x15, uint64_t x13, uint64_t x11);
diff --git a/src/Specific/solinas64_2e196m15/fesquare.h b/src/Specific/solinas64_2e196m15/fesquare.h
deleted file mode 100644
index 9ba53be31..000000000
--- a/src/Specific/solinas64_2e196m15/fesquare.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <stdint.h>
-
-#undef force_inline
-#define force_inline __attribute__((always_inline))
-
-void force_inline fesquare(uint64_t* out, uint64_t x5, uint64_t x6, uint64_t x4, uint64_t x2);
diff --git a/src/Specific/solinas64_2e196m15/freeze.h b/src/Specific/solinas64_2e196m15/freeze.h
deleted file mode 100644
index aa9b11f23..000000000
--- a/src/Specific/solinas64_2e196m15/freeze.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#include <stdint.h>
-
-#undef force_inline
-#define force_inline __attribute__((always_inline))
-
-void force_inline freeze(uint64_t* out, uint64_t x5, uint64_t x6, uint64_t x4, uint64_t x2);