From 53baae2c9945de91df15d5280c89a31ea429ed66 Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <s@jaeckel.eu>
Date: Wed, 14 Jun 2017 13:18:12 +0200
Subject: [PATCH] don't include tfm.h from the system, but the local one

---
 src/headers/tfm_private.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/headers/tfm_private.h b/src/headers/tfm_private.h
index 0afbac4..7f67225 100644
--- a/src/headers/tfm_private.h
+++ b/src/headers/tfm_private.h
@@ -10,7 +10,7 @@
 #ifndef TFM_PRIVATE_H_
 #define TFM_PRIVATE_H_
 
-#include <tfm.h>
+#include "tfm.h"
 
 /* VARIOUS LOW LEVEL STUFFS */
 void s_fp_add(fp_int *a, fp_int *b, fp_int *c);