From c2e894c48c0f222e30b6a9e75520abfe153c65ec Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Tue, 24 Feb 2015 14:45:15 -0500
Subject: [PATCH] add ace-mode support for Lean

---
 lib/linguist/languages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index c269bf93..28c9a5a4 100644
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -1593,7 +1593,7 @@ Lean:
   extensions:
   - .lean
   - .hlean
-  ace_mode: text
+  ace_mode: lean
 
 Less:
   type: markup