Update YaccManager.h