From 60e63e5b2b6c0be8e8009712119e0e856bd47e49 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Thu, 17 Jul 2025 15:21:44 +0200
Subject: [PATCH] [exec.task.scheduler] Fix typo

---
 source/exec.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/exec.tex b/source/exec.tex
index 5d92a4ceef..c31e54afb5 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -7072,7 +7072,7 @@
 \pnum
 \tcode{task_scheduler} is a class that models
 \libconcept{scheduler}\iref{exec.sched}.
-Given on object \tcode{s} of type \tcode{task_scheduler}, let
+Given an object \tcode{s} of type \tcode{task_scheduler}, let
 \tcode{\exposid{SCHED}(s)} be the object owned by \tcode{s.\exposid{sch_}}.
 
 \indexlibraryctor{task_scheduler}