-/*
- * If this is defined debuging aids are created, e.g. a field in
- * ir_node uniquely numbering the nodes.
- * #define DEBUG_libfirm 1
- * This is now set by the configure script as an option.
- */
-#ifdef HAVE_CONFIG_H
-# include <config.h>
-#endif
-
-/* If this and DEBUG_libfirm are defined irdump uses the nodeid numbers as
- labels for the vcg nodes. This makes the vcg graph better readable.
- Sometimes it's useful to see the pointer values, though. */
+/** If this and DEBUG_libfirm are defined irdump uses the nodeid numbers as
+ * labels for the vcg nodes. This makes the vcg graph better readable.
+ * Sometimes it's useful to see the pointer values, though. */