From 8ebb73614d0913fa5879685fafa54db3bd0a3a60 Mon Sep 17 00:00:00 2001
From: Nicolas Stalder <n@stalder.io>
Date: Mon, 10 Sep 2018 20:27:15 +0000
Subject: [PATCH] add missing stdint header

---
 fido2/log.h  | 1 +
 fido2/util.c | 1 +
 fido2/util.h | 1 +
 3 files changed, 3 insertions(+)

diff --git a/fido2/log.h b/fido2/log.h
index e7fa99c..19e8d8d 100644
--- a/fido2/log.h
+++ b/fido2/log.h
@@ -2,6 +2,7 @@
 #define _LOG_H
 
 #include "app.h"
+#include <stdint.h>
 
 #ifndef DEBUG_LEVEL
 #define DEBUG_LEVEL 0
diff --git a/fido2/util.c b/fido2/util.c
index 311155d..d996952 100644
--- a/fido2/util.c
+++ b/fido2/util.c
@@ -1,3 +1,4 @@
+#include <stdint.h>
 #include <stdio.h>
 
 void dump_hex(uint8_t * buf, int size)
diff --git a/fido2/util.h b/fido2/util.h
index 9f010f3..b829b49 100644
--- a/fido2/util.h
+++ b/fido2/util.h
@@ -1,6 +1,7 @@
 #ifndef _UTIL_H
 #define _UTIL_H
 
+#include <stdint.h>
 
 void dump_hex(uint8_t * buf, int size);