[PING] [C++ Patch] Remove finish_stmt

[Paolo Carlini]

Hi,

gently pinging this small clean-up:

    http://gcc.gnu.org/ml/gcc-patches/2013-06/msg00905.html

Thanks!
Paolo.