From bf6b225f997869a1ccd97b355ff1ae6a1e0c4ebd Mon Sep 17 00:00:00 2001
From: ambiso <ambiso@invalid>
Date: Sat, 24 Oct 2020 15:05:48 +0200
Subject: [PATCH] Update emacs config link in README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 30d1970a5..8906cd09b 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,7 @@ More information on F\* can be found at www.fstar-lang.org
   * [Building](#building)
   * [Directory structure](#directory-structure)
   	* [Legacy, imported from mitls-f7](#legacy-imported-from-mitls-f7)
-  * [Configuring Emacs and Atom F* modes](#configuring-emacs-and-atom-f-modes)
+  * [Configuring Emacs F* mode](#configuring-emacs-mode)
 
 ### Building