From 0d7a62f36b532dffa5fe8e55e6b1a1775e6c17e6 Mon Sep 17 00:00:00 2001
From: Javier <user454322@users.noreply.github.com>
Date: Wed, 15 Aug 2018 17:00:32 +0800
Subject: Update INSTALL

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

diff --git a/INSTALL b/INSTALL
index 31331c2f..3b496bd7 100644
--- a/INSTALL
+++ b/INSTALL
@@ -57,7 +57,7 @@ Detailed installation Notes for Proof General
 Supported Emacs Versions.
 -------------------------
 
-Please see COMPATIBILTY.
+Please see COMPATIBILITY.
 
 If you're not sure of your version of Emacs, inspect the variable
 `emacs-version' by doing:
-- 
cgit v1.2.3