diff options
| author | ronny | 2001-06-15 15:52:52 +0000 |
|---|---|---|
| committer | ronny | 2001-06-15 15:52:52 +0000 |
| commit | a03fd8f727fbc02611fe865ed60a0aaf0ac02fb5 (patch) | |
| tree | 3621d567b5a88b25c623f7a2b31fdbb499debad5 | |
| parent | AnnotateStrictNodesIds in GuardNode, (diff) | |
print local reference counts to file instead of stdout
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@486 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | backendC/CleanCompilerSources/dbprint.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/backendC/CleanCompilerSources/dbprint.c b/backendC/CleanCompilerSources/dbprint.c index a864bdf..13055bb 100644 --- a/backendC/CleanCompilerSources/dbprint.c +++ b/backendC/CleanCompilerSources/dbprint.c @@ -232,7 +232,7 @@ void PrintRuleNode (Node node,Bool brackets,int n_leading_spaces,File file) for_l (node_id_ref_count_elem,node->node_then_node_id_ref_counts,nrcl_next){ DPrintNodeId (node_id_ref_count_elem->nrcl_node_id,file); - printf (" %d ",node_id_ref_count_elem->nrcl_ref_count); + fprintf (file," %d ",node_id_ref_count_elem->nrcl_ref_count); } } FPutS ("]\n", file); @@ -274,7 +274,7 @@ void PrintRuleNode (Node node,Bool brackets,int n_leading_spaces,File file) for_l (node_id_ref_count_elem,node->node_else_node_id_ref_counts,nrcl_next){ DPrintNodeId (node_id_ref_count_elem->nrcl_node_id,file); - printf (" %d ",node_id_ref_count_elem->nrcl_ref_count); + fprintf (file," %d ",node_id_ref_count_elem->nrcl_ref_count); } } FPutS ("]\n",file); @@ -399,7 +399,7 @@ void PrintRuleNode (Node node,Bool brackets,int n_leading_spaces,File file) for_l (node_id_ref_count_elem,node->node_node_id_ref_counts,nrcl_next){ DPrintNodeId (node_id_ref_count_elem->nrcl_node_id,file); - printf (" %d ",node_id_ref_count_elem->nrcl_ref_count); + fprintf (file," %d ",node_id_ref_count_elem->nrcl_ref_count); } } FPutS ("]\n",file); @@ -445,7 +445,7 @@ void PrintRuleNode (Node node,Bool brackets,int n_leading_spaces,File file) for_l (node_id_ref_count_elem,node->node_node_id_ref_counts,nrcl_next){ DPrintNodeId (node_id_ref_count_elem->nrcl_node_id,file); - printf (" %d ",node_id_ref_count_elem->nrcl_ref_count); + fprintf (file," %d ",node_id_ref_count_elem->nrcl_ref_count); } } FPutS ("]\n",file); |