/** @file flags.h
*
- * Collection of all flags used through the GiNaC framework.
- *
+ * Collection of all flags used through the GiNaC framework. */
+
+/*
* GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify