diff options
Diffstat (limited to 'library/Makefile')
| -rw-r--r-- | library/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/library/Makefile b/library/Makefile index 359d510..72091b0 100644 --- a/library/Makefile +++ b/library/Makefile @@ -77,7 +77,6 @@ OBJS_CRYPTO+= \ ../3rdparty/everest/library/everest.o \ ../3rdparty/everest/library/Hacl_Curve25519.o \ ../3rdparty/everest/library/x25519.o \ - ../3rdparty/everest/library/kremlib/fstar_uint128.o \ ../3rdparty/everest/library/kremlib/FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.o OBJS_X509= certs.o pkcs11.o x509.o \ |