diff --git a/dev/uart.hh b/dev/uart.hh
index ac8ed7d73..855915840 100644
--- a/dev/uart.hh
+++ b/dev/uart.hh
@@ -75,7 +75,7 @@ class Uart : public PioDevice
     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);