| 476 | } |
| 477 | |
| 478 | static void writeBlockBegin(FILE *stream, int indent, const char *name) { |
| 479 | writeIndent(stream, indent); |
| 480 | fprintf(stream, "%s\n", name); |
| 481 | } |
| 482 | |
| 483 | static void writeBlockEnd(FILE *stream, int indent, const char *name) { |
| 484 | writeIndent(stream, indent); |
no test coverage detected