Update HaVector.hpp