Update HistoryManager.cpp