/** @file debugmsg.h
*
- * Utilities needed for debugging only.
- *
+ * Utilities needed for debugging only. */
+
+/*
* GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify