From dcb9d994d05328efb37d704d88b54571bcd832ec Mon Sep 17 00:00:00 2001
From: "Paul A. Patience" <paul@apatience.com>
Date: Tue, 13 Apr 2021 06:22:44 -0700
Subject: repl: fix typo in plain mode banner.

* txr.c (banner): wth -> with.
---
 txr.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/txr.c b/txr.c
index ccf7042b..76b66fd9 100644
--- a/txr.c
+++ b/txr.c
@@ -179,7 +179,7 @@ static void banner(void)
   format(std_output,
          if3(opt_noninteractive,
              lit("This is the TXR Lisp plain mode listener of TXR ~a.\n"
-                 "Quit wth :quit or Ctrl-D on an empty line.\n"),
+                 "Quit with :quit or Ctrl-D on an empty line.\n"),
              lit("This is the TXR Lisp interactive listener of TXR ~a.\n"
                  "Quit with :quit or Ctrl-D on an empty line. "
                  "Ctrl-X ? for cheatsheet.\n")),
-- 
cgit v1.2.3