Update state.hpp