From b13ec126e8b6399ff5a4c367f4c0ef07292e308a Mon Sep 17 00:00:00 2001
From: Flash Sheridan <flash@pobox.com>
Date: Tue, 2 Jan 2024 17:37:54 -0500
Subject: [PATCH] Hard wrap and educate quotes

---
 README.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 6a0af4ffe..d1f6b316f 100644
--- a/README.md
+++ b/README.md
@@ -204,10 +204,10 @@ Running the Standalone Translation Validation Tool (alive-tv)
 
 This tool has two modes.
 
-In the first mode, specify either a source (original) and target (optimized)
-IR file, or a single file containing a function called
-“src” and also a function called “tgt”. For example, let's prove that removing `nsw` is correct
-for addition:
+In the first mode, specify either a source (original) and target (optimized) IR
+file, or a single file containing a function called “src” and also a function
+called “tgt”. For example, let’s prove that removing `nsw` is correct for
+addition:
 
 ```
 $ALIVE2_HOME/alive2/build/alive-tv src.ll tgt.ll