Update fact.cpp