diff options
| -rw-r--r-- | backendC/CleanCompilerSources/dbprint.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/dbprint.c b/backendC/CleanCompilerSources/dbprint.c index 13055bb..4b7a201 100644 --- a/backendC/CleanCompilerSources/dbprint.c +++ b/backendC/CleanCompilerSources/dbprint.c @@ -393,7 +393,12 @@ void PrintRuleNode (Node node,Bool brackets,int n_leading_spaces,File file) PrintArguments (node->node_arguments,'\n',True,n_leading_spaces,file); break; case CaseNode: - FPutS ("Case: [ ",file); + FPutS ("Case: ",file); + + PrintSymbol (node->node_symbol, file); + FPutS (" [ ",file); + + FPutS (" ",file); { NodeIdRefCountListP node_id_ref_count_elem; |