1 files changed, 1 insertions, 1 deletions
diff --git a/.emacs b/.emacs
index 3f24169..dd97b21 100644
--- a/.emacs
+++ b/.emacs
@@ -286,5 +286,5 @@
 
 ;; Idris
 ;; development mode
-;; (add-to-list 'load-path (concat (getenv "HOME") "/projects/idris/idris-mode"))
+(add-to-list 'load-path (concat (getenv "HOME") "/projects/idris/idris-mode"))
 (require 'idris-mode)