introduction.cpp: redundant line.

This is already tested some lines above.