Update YaccManager.cpp