Update Hennessy.cpp