From dc92f2b9fa60eaa94e2497cba6bfb698caba6d28 Mon Sep 17 00:00:00 2001
From: Misha Brukman <mbrukman@google.com>
Date: Mon, 3 May 2021 22:07:48 -0400
Subject: [PATCH] Delete extra trailing backtick

---
 src/levy/README.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/levy/README.markdown b/src/levy/README.markdown
index e631745..6eee3f4 100644
--- a/src/levy/README.markdown
+++ b/src/levy/README.markdown
@@ -1,6 +1,6 @@
 An implementation of [Paul Levy's](http://www.cs.bham.ac.uk/~pbl/) [call-by-push-value](http://www.cs.bham.ac.uk/~pbl/cbpv.html)
 language. The language has the following constructs:
-* integers with arithmetical operations `*`, `+`, `-``
+* integers with arithmetical operations `*`, `+`, `-`
 * booleans with conditional statements and comparison `=`, `<` of integers
 * functions
 * general recursion (fixpoint operator)