From b50a0ee95c78cd5137b6a4291471bcbda1e69341 Mon Sep 17 00:00:00 2001 From: n5m <72841454+n5m@users.noreply.github.com> Date: Thu, 15 Oct 2020 23:43:20 +0000 Subject: [PATCH] fix option formatting (#15591) --- doc/gc.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/gc.rst b/doc/gc.rst index b118b1f8aa..ee7f9000e3 100644 --- a/doc/gc.rst +++ b/doc/gc.rst @@ -35,7 +35,7 @@ To choose the memory management strategy use the ``--gc:`` switch. It offers deterministic performance for `hard realtime`:idx: systems. Reference cycles cause memory leaks, beware. -- ``--gc:orc``. Same as ``-gc:arc`` but adds a cycle collector based on "trial deletion". +- ``--gc:orc``. Same as ``--gc:arc`` but adds a cycle collector based on "trial deletion". Unfortunately that makes its performance profile hard to reason about so it is less useful for hard realtime systems.