From 99e41355dc3cfdd534a5a62593b9e45eac97ac9d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= Date: Wed, 6 Dec 2017 21:53:02 +0100 Subject: [PATCH] Typo. --- CHANGES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index af4c4db9..b1319e42 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,7 +5,7 @@ * Fix the termination test that takes place before parameterized symbols are expanded away. The previous test was both unsound (it would accept grammars whose termination did not terminate) and incomplete (it would reject - grammars whose termination did terminate). The new test is believed to be + grammars whose expansion did terminate). The new test is believed to be sound and complete. ## 2017/11/12 -- GitLab