From 00b3a57d88b1e8a922a0608ac7348c3da7186e27 Mon Sep 17 00:00:00 2001
From: Andreas Sandberg <Andreas.Sandberg@arm.com>
Date: Fri, 2 Nov 2012 11:32:01 -0500
Subject: [PATCH] base: Add missing header file to addr_range.hh.

---
 src/base/addr_range.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/base/addr_range.hh b/src/base/addr_range.hh
index f7a3b054f..dcd53b77a 100644
--- a/src/base/addr_range.hh
+++ b/src/base/addr_range.hh
@@ -45,6 +45,8 @@
 #ifndef __BASE_ADDR_RANGE_HH__
 #define __BASE_ADDR_RANGE_HH__
 
+#include <utility> // pair & make_pair
+
 #include "base/types.hh"
 
 class AddrRange