diff --git a/gcc/profile.cc b/gcc/profile.cc
index 5ae64d4043f..52704e93866 100644
--- a/gcc/profile.cc
+++ b/gcc/profile.cc
@@ -2071,7 +2071,8 @@ end_branch_prob (void)
 
 /* Return true if any cfg coverage/profiling is enabled; -fprofile-arcs
    -fcondition-coverage -fpath-coverage.  */
-bool coverage_instrumentation_p ()
+bool
+coverage_instrumentation_p ()
 {
   return profile_arc_flag || condition_coverage_flag || path_coverage_flag;
 }
