From 8fec0eb208e48401908414347d060767af48309f Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Tue, 10 Aug 2021 17:51:52 +0100
Subject: [PATCH] fix typo in Confluence

---
 standard-library | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/standard-library b/standard-library
index 2f0fb515..9f929b4f 160000
--- a/standard-library
+++ b/standard-library
@@ -1 +1 @@
-Subproject commit 2f0fb515271fa1a01a5c55b9cf5d401c5c65aa37
+Subproject commit 9f929b4fe28bb7ba74b6b95d01ed0958343f3451