From 8d40127af01105082f6ab9f85d827659c5f6e223 Mon Sep 17 00:00:00 2001
From: citrusmunch <citrusmunch@users.noreply.github.com>
Date: Thu, 24 Oct 2019 21:30:59 -0400
Subject: [PATCH] consistent variable name typo
---
src/plfa/part1/Relations.lagda.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plfa/part1/Relations.lagda.md b/src/plfa/part1/Relations.lagda.md
index 2d6b7591..9028fa51 100644
--- a/src/plfa/part1/Relations.lagda.md
+++ b/src/plfa/part1/Relations.lagda.md
@@ -773,7 +773,7 @@ if it consists of a single zero (representing zero).
Show that increment preserves canonical bitstrings:
- Can x
+ Can b
------------
Can (inc b)