diff --git a/layers/+lang/idris/packages.el b/layers/+lang/idris/packages.el
index 6f113539d..662db79c6 100644
--- a/layers/+lang/idris/packages.el
+++ b/layers/+lang/idris/packages.el
@@ -107,6 +107,9 @@
         "ss" 'idris-pop-to-repl
         "sq" 'idris-quit)))
 
+  ;; To suppress auto-indentation
+  (add-to-list 'spacemacs-indent-sensitive-modes 'idris-mode)
+
   ;; To bind TAB to the indentation command for all Idris buffers
   (add-hook 'idris-mode-hook 'turn-on-idris-simple-indent)