1 files changed, 0 insertions, 12 deletions
diff --git a/src/Specific/solinas64_2e137m13_3limbs/fesub.c b/src/Specific/solinas64_2e137m13_3limbs/fesub.c
deleted file mode 100644
index 43c7089ba..000000000
--- a/src/Specific/solinas64_2e137m13_3limbs/fesub.c
+++ /dev/null
@@ -1,12 +0,0 @@
-static void fesub(uint64_t out[3], const uint64_t in1[3], const uint64_t in2[3]) {
-  { const uint64_t x6 = in1[2];
-  { const uint64_t x7 = in1[1];
-  { const uint64_t x5 = in1[0];
-  { const uint64_t x10 = in2[2];
-  { const uint64_t x11 = in2[1];
-  { const uint64_t x9 = in2[0];
-  out[0] = ((0x7fffffffffe6 + x5) - x9);
-  out[1] = ((0x7ffffffffffe + x7) - x11);
-  out[2] = ((0x3ffffffffffe + x6) - x10);
-  }}}}}}
-}