Added missing cout for print-ast