/* Declarations for debug printing functions.
- Copyright (C) 2014-2016 Free Software Foundation, Inc.
+ Copyright (C) 2014-2019 Free Software Foundation, Inc.
This file is part of GDB.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
-#ifndef COMMON_DEBUG_H
-#define COMMON_DEBUG_H
+#ifndef COMMON_COMMON_DEBUG_H
+#define COMMON_COMMON_DEBUG_H
/* Set to nonzero to enable debugging of hardware breakpoint/
watchpoint support code. */
extern void debug_vprintf (const char *format, va_list ap)
ATTRIBUTE_PRINTF (1, 0);
-#endif /* COMMON_DEBUG_H */
+#endif /* COMMON_COMMON_DEBUG_H */