pvector<int> -> vector_int

This commit is contained in:
David Rose 2004-07-06 18:59:43 +00:00
parent 66ac542bce
commit 881c8a459b

View File

@ -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 {