301a302,314
> class VectorEnableFault : public AlphaFault
> {
> private:
> static FaultName _name;
> static FaultVect _vect;
> static FaultStat _count;
>
> public:
> FaultName name() const {return _name;}
> FaultVect vect() {return _vect;}
> FaultStat & countStat() {return _count;}
> };
>