From 881c8a459bfa9672a3fef8b8db7e1c6c26914426 Mon Sep 17 00:00:00 2001
From: David Rose <david@ddrose.com>
Date: Tue, 6 Jul 2004 18:59:43 +0000
Subject: [PATCH] pvector<int> -> vector_int

---
 pandatool/src/pstatserver/pStatClientData.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pandatool/src/pstatserver/pStatClientData.h b/pandatool/src/pstatserver/pStatClientData.h
index 8458618dfa..f9e0e04cef 100644
--- a/pandatool/src/pstatserver/pStatClientData.h
+++ b/pandatool/src/pstatserver/pStatClientData.h
@@ -28,6 +28,7 @@
 #include "pointerTo.h"
 
 #include "pvector.h"
+#include "vector_int.h"
 
 class PStatReader;
 
@@ -86,7 +87,7 @@ private:
   typedef pvector<Collector> Collectors;
   Collectors _collectors;
 
-  typedef pvector<int> ToplevelCollectors;
+  typedef vector_int ToplevelCollectors;
   ToplevelCollectors _toplevel_collectors;
   
   class Thread {