diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index d3cef7c1..fcf6becf 100755
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -1952,7 +1952,7 @@ Lean:
   extensions:
   - .lean
   - .hlean
-  ace_mode: lean
+  ace_mode: text
 
 Less:
   type: markup