From a615585364e71b870332f66559d4d5e8f9ee01eb Mon Sep 17 00:00:00 2001 From: Adriano Garcia Date: Tue, 9 Aug 2022 17:17:15 -0300 Subject: [PATCH] Update management_options.rst --- docs/source/management_options.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/source/management_options.rst b/docs/source/management_options.rst index 7ded873..80a840e 100644 --- a/docs/source/management_options.rst +++ b/docs/source/management_options.rst @@ -157,6 +157,7 @@ In multi-source benchmarks, each source offers to users some methods to control Code example: .. code-block:: C++ + ... // Compact source creation method. This source will run immediately. // Parameters: , , , -- GitLab