Remove duplicate #include stdio.h

diff --git a/tools/mfkey/mfkey32.c b/tools/mfkey/mfkey32.c
index 0b62f051be402cafb16e93af331fcf73a663f842..4ab4bad4e10f65ffbaee1716e2f051ba9ac4e1f5 100755 (executable)
--- a/tools/mfkey/mfkey32.c
+++ b/tools/mfkey/mfkey32.c
@@ -7,7 +7,6 @@
 #include "util.h"
 
 // 32 bit recover key from 2 nonces
-#include <stdio.h>
 int main (int argc, char *argv[]) {
 
   nonces_t data;