std::

--HG--
extra : convert_revision : 8383048265ef5b4d7c995dbf44f7d85e349ddbde

dev/uart.hh

diff --git a/dev/uart.hh b/dev/uart.hh
index ac8ed7d..8559158 100644
--- a/dev/uart.hh
+++ b/dev/uart.hh
@@ -75,7 +75,7 @@
     Platform *platform;
 
   public:
-    Uart(const string &name, SimConsole *c, MemoryController *mmu,
+    Uart(const std::string &name, SimConsole *c, MemoryController *mmu,
          Addr a, Addr s, HierParams *hier, Bus *bus, Tick pio_latency,
          Platform *p);