Index: utility/kernel_utility.cc |
diff --git a/utility/kernel_utility.cc b/utility/kernel_utility.cc |
index 00922b7e66a1fd671064a51d1c771919ceb1ead8..4940112d4aa92a4c8e80d8d000dc9286e572b42c 100644 |
--- a/utility/kernel_utility.cc |
+++ b/utility/kernel_utility.cc |
@@ -20,6 +20,7 @@ extern "C" { |
#include "file_keys.h" |
#include "kernel_image.h" |
#include "stateful_util.h" |
+#include "utility.h" |
} |
using std::cerr; |