From 4ee6f939db643b2636caec18b32762910d419f32 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 10 Jul 2015 10:40:03 +0200
Subject: CHANGES: grammatical correction, suggested by Jason Gross on
 Bugzilla.

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

diff --git a/CHANGES b/CHANGES
index 050d3e999f..202e27e377 100644
--- a/CHANGES
+++ b/CHANGES
@@ -161,7 +161,7 @@ Specification Language
   break user notations using "$(", fixable by inserting a space or
   rewriting the notation).
 - Constructors in pattern-matching patterns now respect the same rules
-  regarding implicit arguments than in applicative position. The old
+  regarding implicit arguments as in applicative position. The old
   behavior can be recovered by the command "Set Asymmetric
   Patterns". As a side effect, notations for constructors explicitly
   mentioning non-implicit parameters can now be used in patterns.
-- 
cgit v1.2.3