diff --git a/library/ecp_curves.c b/library/ecp_curves.c
index d5b6be28b2..6b19096705 100644
--- a/library/ecp_curves.c
+++ b/library/ecp_curves.c
@@ -14,8 +14,6 @@
 #include "mbedtls/platform_util.h"
 #include "mbedtls/error.h"
 
-#include "mbedtls/platform.h"
-
 #include "constant_time_internal.h"
 
 #include "bn_mul.h"