From 8f609bd75a3388fcef78c76fb817ccb1cd63d82a Mon Sep 17 00:00:00 2001
From: dymil
Date: Thu, 10 Sep 2020 19:41:47 -0400
Subject: fix(CHANGES): spelling of "whether" (#511)

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

diff --git a/CHANGES b/CHANGES
index 39699d7f..109fedfe 100644
--- a/CHANGES
+++ b/CHANGES
@@ -632,7 +632,7 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac
     - Indentation: several error fixed. If you want to indent tactics
     inside "Instance" or "Add Parametric Relation" etc, please put
     "Proof." before the tactics, there is no way for emacs to guess
-    wether these commands initiate new goals or not.
+    whether these commands initiate new goals or not.
     - coq prog args permanent settings is working again
     - when a proof is completed, the goals buffer is cleared again.
 
-- 
cgit v1.2.3