diff options
Diffstat (limited to 'rts/sm/Storage.c')
| -rw-r--r-- | rts/sm/Storage.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/sm/Storage.c b/rts/sm/Storage.c index dcc5b3a3c7..4636bf45e3 100644 --- a/rts/sm/Storage.c +++ b/rts/sm/Storage.c @@ -1372,7 +1372,7 @@ extern void __clear_cache(void * begin, void * end); #elif defined(__GNUC__) /* __clear_cache is a libgcc function. * It existed before __builtin___clear_cache was introduced. - * See Trac #8562. + * See #8562. */ extern void __clear_cache(char * begin, char * end); #endif /* __GNUC__ */ |