1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/varpool.c b/gcc/varpool.c
index 2e8e945..a3be262 100644
--- a/gcc/varpool.c
+++ b/gcc/varpool.c
@@ -263,7 +263,7 @@ dump_varpool (FILE *f)
 
 /* Dump the variable pool to stderr.  */
 
-void
+DEBUG_FUNCTION void
 debug_varpool (void)
 {
   dump_varpool (stderr);