From 40ddd7c67ddc6775d9144ae98b236e485166c644 Mon Sep 17 00:00:00 2001
From: circumspect <40770208+circumspect@users.noreply.github.com>
Date: Thu, 6 Apr 2023 10:27:41 +0000
Subject: [PATCH] docs: minor grammar fix

---
 doc/design.asciidoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/design.asciidoc b/doc/design.asciidoc
index 05a015cb3..aaa594782 100644
--- a/doc/design.asciidoc
+++ b/doc/design.asciidoc
@@ -90,7 +90,7 @@ things easier to understand, bugs easier to fix, and code easier to change.
 
    - When we want a direct result, we need to be synchronous with
      the user. A 4x speed improvement is meaningless; we need to have an
-     algorithm which appears instantaneous the user.
+     algorithm which appears instantaneous to the user.
 
    - When we want an asynchronous result, the processing is best left
      to a helper command which can be reused with other Unix tools.