From 2b346621b984731b94442c7abe6ffe9564b89e5f Mon Sep 17 00:00:00 2001
From: Eric Niebler <eniebler@boost.org>
Date: Sat, 31 May 2025 13:31:54 -0700
Subject: [PATCH] fix spelling of exposition-only `query-with-default` function

---
 source/exec.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/source/exec.tex b/source/exec.tex
index 99ea7b1f2e..ddb575e79b 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -1436,7 +1436,7 @@
 \begin{codeblock}
 [] {
   auto [_, sch, _] = sndr;
-  return @\exposid{query-or-default}@(get_domain, sch, default_domain());
+  return @\exposid{query-with-default}@(get_domain, sch, default_domain());
 }();
 \end{codeblock}
 \begin{note}
@@ -2822,7 +2822,7 @@
 the expression \tcode{starts_on(sch, sndr)} is expression-equivalent to:
 \begin{codeblock}
 transform_sender(
-  @\exposid{query-or-default}@(get_domain, sch, default_domain()),
+  @\exposid{query-with-default}@(get_domain, sch, default_domain()),
   @\exposid{make-sender}@(starts_on, sch, sndr))
 \end{codeblock}
 except that \tcode{sch} is evaluated only once.
@@ -2962,7 +2962,7 @@
 the expression \tcode{schedule_from(sch, sndr)} is expression-equivalent to:
 \begin{codeblock}
 transform_sender(
-  @\exposid{query-or-default}@(get_domain, sch, default_domain()),
+  @\exposid{query-with-default}@(get_domain, sch, default_domain()),
   @\exposid{make-sender}@(schedule_from, sch, sndr))
 \end{codeblock}
 except that \tcode{sch} is evaluated only once.
@@ -3156,7 +3156,7 @@
 the expression \tcode{on(sch, sndr)} is expression-equivalent to:
 \begin{codeblock}
 transform_sender(
-  @\exposid{query-or-default}@(get_domain, sch, default_domain()),
+  @\exposid{query-with-default}@(get_domain, sch, default_domain()),
   @\exposid{make-sender}@(on, sch, sndr))
 \end{codeblock}
 except that \tcode{sch} is evaluated only once.