From 07808de44767d1a99373ef412d95a13a2eaacade Mon Sep 17 00:00:00 2001 From: ReenigneArcher <42013603+ReenigneArcher@users.noreply.github.com> Date: Sun, 7 May 2023 17:41:48 -0400 Subject: [PATCH] docs: correct typo for task_pool (#1257) --- docs/source/source/src/task_pool.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/source/src/task_pool.rst b/docs/source/source/src/task_pool.rst index cad02fa7..a556141a 100644 --- a/docs/source/source/src/task_pool.rst +++ b/docs/source/source/src/task_pool.rst @@ -1,4 +1,4 @@ -tasl_pool +task_pool ========= .. doxygenfile:: task_pool.h