diff --git a/3rdparty/everest/CMakeLists.txt b/3rdparty/everest/CMakeLists.txt
index ede0e83..c7749d8 100644
--- a/3rdparty/everest/CMakeLists.txt
+++ b/3rdparty/everest/CMakeLists.txt
@@ -4,7 +4,7 @@
 
 set(everest_src
   ${CMAKE_CURRENT_SOURCE_DIR}/library/everest.c
-  ${CMAKE_CURRENT_SOURCE_DIR}/library/x25519.c  
+  ${CMAKE_CURRENT_SOURCE_DIR}/library/x25519.c
   ${CMAKE_CURRENT_SOURCE_DIR}/library/Hacl_Curve25519_joined.c
 )
 
diff --git a/3rdparty/everest/library/Hacl_Curve25519_joined.c b/3rdparty/everest/library/Hacl_Curve25519_joined.c
index 8a764bb..18b32d2 100644
--- a/3rdparty/everest/library/Hacl_Curve25519_joined.c
+++ b/3rdparty/everest/library/Hacl_Curve25519_joined.c
@@ -41,4 +41,5 @@
 
 #include "kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c"
 
-#endif /* defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED) */
\ No newline at end of file
+#endif /* defined(MBEDTLS_ECDH_VARIANT_EVEREST_ENABLED) */
+