#ifndef SUCCCONT_H_
#define SUCCCONT_H_

#include "Succ.h"

class SuccConst:public Succ{
public:
	SuccConst(int a0);
	~SuccConst();
	int Next();
};

#endif /* SUCCCONT_H_ */