/** @file print.cpp
*
* The methods .print() are responsible for the nice default-output of
- * objects. All related helper-functions go in here as well.
- *
+ * objects. All related helper-functions go in here as well. */
+
+/*
* GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify