diff --git a/armsrc/appmain.c b/armsrc/appmain.c
index fa1e9cd58..0f60de827 100644
--- a/armsrc/appmain.c
+++ b/armsrc/appmain.c
@@ -26,7 +26,6 @@
 #include "dbprint.h"
 #include "pmflash.h"
 #include "fpga.h"
-#include "fpga.h"
 #include "fpgaloader.h"
 #include "string.h"
 #include "printf.h"