Revert "1 line deleted from main.cpp"

This reverts commit f33c1d932df9b146f04a19ba12c1d5dd80a1953e.