From d12e91a384bfacdfe83cfdefea9b00e44243f788 Mon Sep 17 00:00:00 2001
From: Robbert <gitlab-sws@robbertkrebbers.nl>
Date: Wed, 23 Sep 2020 10:38:56 +0200
Subject: [PATCH] Update CPP21.md

---
 papers/CPP21.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/papers/CPP21.md b/papers/CPP21.md
index 683bdc5..a8ba65c 100644
--- a/papers/CPP21.md
+++ b/papers/CPP21.md
@@ -25,7 +25,7 @@ contains an overview of the files in that directory.
   [theories/logrel/term_typing_judgment.v](../theories/logrel/term_typing_judgment.v)
 - Minor simplifications have been made for the displayed Coq code of Section 5,
   such as assuming that implicit variables (e.g., `{!heapG Σ}`) are available from
-  a `Context`, rather than as an implicit variable of the definitions.
+  a `Context`, rather than as implicits variables of the definitions.
   The definitions between the paper and Coq code are identical,
   as this is just refactoring.
 
-- 
GitLab