diff --git a/src/dev/serial/uart8250.cc b/src/dev/serial/uart8250.cc
index 6b0d019805..41ae3bd816 100644
--- a/src/dev/serial/uart8250.cc
+++ b/src/dev/serial/uart8250.cc
@@ -46,7 +46,6 @@
 #include "mem/packet_access.hh"
 
 using namespace std;
-using namespace TheISA;
 
 void
 Uart8250::processIntrEvent(int intrBit)