* src/SDCCicode.c (piCode): applied patch from Raphael Neider,
[fw/sdcc] / src / SDCCicode.c
index 01bf6e6c232326da5db0bf8c6b5af430f9fc9256..6c217d45e877fdd39153fae05a377de9aef4d8d5 100644 (file)
@@ -514,7 +514,7 @@ piCode (void *item, FILE * of)
     of = stdout;
 
   icTab = getTableEntry (ic->op);
-  fprintf (stdout, "%s(%d:%d:%d:%d:%d)\t",
+  fprintf (of, "%s(%d:%d:%d:%d:%d)\t",
           ic->filename, ic->lineno,
           ic->seq, ic->key, ic->depth, ic->supportRtn);
   icTab->iCodePrint (of, ic, icTab->printName);