diff --git a/armsrc/iso14443a.c b/armsrc/iso14443a.c
index 76dc70ed1..f06dbd100 100644
--- a/armsrc/iso14443a.c
+++ b/armsrc/iso14443a.c
@@ -28,7 +28,6 @@
 #include "ticks.h"
 #include "dbprint.h"
 #include "util.h"
-#include "util.h"
 #include "parity.h"
 #include "mifareutil.h"
 #include "commonutil.h"