Correct documentation of defaults of the `-V` RTS option
See RtsFlags.MiscFlags.tickInterval
in RtsFlags.c
and DEFAULT_TICK_INTERVAL
in Flags.h
for the correct values.
See RtsFlags.MiscFlags.tickInterval
in RtsFlags.c
and DEFAULT_TICK_INTERVAL
in Flags.h
for the correct values.