Formatting changes.

This commit is contained in:
Akim Demaille
2008-08-12 21:11:00 +02:00
parent 36db78a733
commit 1de69d6a33
3 changed files with 10 additions and 4 deletions

View File

@@ -328,9 +328,9 @@ user_actions_output (FILE *out)
fputs ("])\n\n", out);
}
/*--------------------------------------.
| Output the merge functions to OUT. |
`--------------------------------------*/
/*------------------------------------.
| Output the merge functions to OUT. |
`------------------------------------*/
static void
merger_output (FILE *out)