diff options
Diffstat (limited to 'gcc/ggc.h')
| -rw-r--r-- | gcc/ggc.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ggc.h b/gcc/ggc.h index b672cbecfaf..4cd6242ee92 100644 --- a/gcc/ggc.h +++ b/gcc/ggc.h @@ -130,7 +130,7 @@ extern void ggc_collect PARAMS ((void)); /* Actually set the mark on a particular region of memory, but don't follow pointers. This function is called by ggc_mark_*. It - returns zero if the object was not previously marked; non-zero if + returns zero if the object was not previously marked; nonzero if the object was already marked, or if, for any other reason, pointers in this data structure should not be traversed. */ extern int ggc_set_mark PARAMS ((const void *)); |