ispc/ispc — pull request #525 by dbabokin (2013-06-20 18:50:31+00:00)
Title: --debug output: stdout instead of stderr

"--debug" streams different information to stdout and stderr, and this is ok. But code->Print() prints to stdout, so the header for it should go to stdout as well.