privat/nit — pull request #670 by privat (2014-08-14 02:17:33+00:00)
Title: phase: remove a useless verbose line

Was called nb_classdefs*nb_phases times, so approximatively 50.000 for nitg.
Without it, the gain is 6% in compiling nitg