From ecbb20fb089f0f39af6bf36dd9eb7a7e468b2923 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 26 Jun 2025 18:18:59 +0100
Subject: Fix 747--950.

---
 sec/compiler.ltx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'sec/compiler.ltx')

diff --git a/sec/compiler.ltx b/sec/compiler.ltx
index e8c1664..030fa3b 100644
--- a/sec/compiler.ltx
+++ b/sec/compiler.ltx
@@ -48,8 +48,8 @@ throughout the combinators.
 
 It is common for parsers to rely on some additional
 state~\cite{states}. For example \lang{} keeps an environment of bound
-names as state. As Idris has dependant types, we can make the
-result of parsing a combinator depend on the initial state.
+names as state. As Idris has dependant types, we can make the result a
+parser combinator depend on the initial state.
 
 A parser combinator can interact with state when:
 \begin{itemize}
-- 
cgit v1.2.3

