Update minimal.cpp