diff options
Diffstat (limited to 'rts/RtsUtils.c')
| -rw-r--r-- | rts/RtsUtils.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/RtsUtils.c b/rts/RtsUtils.c index 618815de76..d5fa16874c 100644 --- a/rts/RtsUtils.c +++ b/rts/RtsUtils.c @@ -306,7 +306,7 @@ void printRtsInfo(const RtsConfig rts_config) { mkRtsInfoPair("Word size", TOSTRING(WORD_SIZE_IN_BITS)); mkRtsInfoPair("Compiler unregisterised", GhcUnregisterised); mkRtsInfoPair("Tables next to code", GhcEnableTablesNextToCode); - mkRtsInfoPair("Flag -with-rtsopts", /* See Trac #15261 */ + mkRtsInfoPair("Flag -with-rtsopts", /* See #15261 */ rts_config.rts_opts != NULL ? rts_config.rts_opts : ""); printf(" ]\n"); } |