From c30f91c2f634a0b55a9b9b9145b1fbe605bb1a02 Mon Sep 17 00:00:00 2001
From: Kevin Lim <ktlim@umich.edu>
Date: Sat, 22 Apr 2006 18:16:18 -0400
Subject: [PATCH] Namespace fix.

base/timebuf.hh:
    namespace fix.

--HG--
extra : convert_revision : 38e880b9394cf2923e2fb9775368cd93d719f950
---
 base/timebuf.hh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/base/timebuf.hh b/base/timebuf.hh
index 435803fae..f6b5b2781 100644
--- a/base/timebuf.hh
+++ b/base/timebuf.hh
@@ -31,8 +31,6 @@
 
 #include <vector>
 
-using namespace std;
-
 template <class T>
 class TimeBuffer
 {
@@ -42,7 +40,7 @@ class TimeBuffer
     int size;
 
     char *data;
-    vector<char *> index;
+    std::vector<char *> index;
     int base;
 
     void valid(int idx)
-- 
2.30.2