From a0a405939f9a79cc3eab5104b9b9871a8574d908 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 29 Jan 2015 20:27:57 +0100
Subject: remove dead mint.h includes

---
 src/mint/key_io.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/mint/key_io.c')

diff --git a/src/mint/key_io.c b/src/mint/key_io.c
index f401a126..ea49c88b 100644
--- a/src/mint/key_io.c
+++ b/src/mint/key_io.c
@@ -23,7 +23,6 @@
  * @author Christian Grothoff
  */
 #include "platform.h"
-#include "mint.h"
 #include "key_io.h"
 
 
-- 
cgit v1.2.3