/* Debug counter for debugging support
- Copyright (C) 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
+ Copyright (C) 2006-2015 Free Software Foundation, Inc.
This file is part of GCC.
#include "system.h"
#include "coretypes.h"
#include "diagnostic-core.h"
-#include "toplev.h"
-#include "tm.h"
-#include "rtl.h"
-#include "output.h"
+#include "dumpfile.h"
#include "dbgcnt.h"