From 8d23f507732595bdd16cd79c20880697845e8395 Mon Sep 17 00:00:00 2001
From: proski <proski@localhost>
Date: Mon, 4 Aug 2008 22:54:06 +0000
Subject: [PATCH] 2008-08-04  Pavel Roskin  <proski@gnu.org>

	* kern/main.c: Include grub/mm.h.
---
 ChangeLog   | 4 ++++
 kern/main.c | 1 +
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 26a7d3adc..981a869ee 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-08-04  Pavel Roskin  <proski@gnu.org>
+
+	* kern/main.c: Include grub/mm.h.
+
 2008-08-04  Robert Millan  <rmh@aybabtu.com>
 
 	* conf/i386-coreboot.rmk (COMMON_ASFLAGS, COMMON_CFLAGS)
diff --git a/kern/main.c b/kern/main.c
index acf6911dd..40300b24d 100644
--- a/kern/main.c
+++ b/kern/main.c
@@ -26,6 +26,7 @@
 #include <grub/file.h>
 #include <grub/device.h>
 #include <grub/env.h>
+#include <grub/mm.h>
 
 void
 grub_module_iterate (int (*hook) (struct grub_module_header *header))