1 files changed, 1 insertions, 0 deletions

diff --git a/src/reclaim/did_core.c b/src/reclaim/did_core.c
index f3caff707..4f2bd5a87 100644
--- a/src/reclaim/did_core.c
+++ b/src/reclaim/did_core.c
@@ -27,6 +27,7 @@
 // TODO: DID documents do not have an expiration date. Still we add one
 // TODO: Store DID document with empty label and own type (maybe DID-Document or JSON??)
 
+#include "platform.h"
 #include "did_core.h"
 
 struct DID_resolve_return