diff --git a/include/grub/mm.h b/include/grub/mm.h
index e1336d1c2..51ec0b8f9 100644
--- a/include/grub/mm.h
+++ b/include/grub/mm.h
@@ -23,7 +23,6 @@
 #include <grub/err.h>
 #include <grub/types.h>
 #include <grub/symbol.h>
-#include <grub/err.h>
 #include <config.h>
 
 #ifndef NULL