From 32f9f979703f390509373b41666652b13392e31b Mon Sep 17 00:00:00 2001
From: Svyatoslav Gryaznov <nightuser@ya.ru>
Date: Mon, 14 Nov 2016 15:22:16 +0300
Subject: [PATCH] Fix typo in Agda's packages.el

---
 layers/+lang/agda/packages.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/layers/+lang/agda/packages.el b/layers/+lang/agda/packages.el
index 5f26af3da..7bd300fb8 100644
--- a/layers/+lang/agda/packages.el
+++ b/layers/+lang/agda/packages.el
@@ -83,7 +83,7 @@
           "xq"  'agda2-quit
           "xr"  'agda2-restart)))))
 
-(defun idris/pre-init-golden-ratio ()
+(defun agda/pre-init-golden-ratio ()
   (spacemacs|use-package-add-hook golden-ratio
     :post-config
     (add-to-list 'golden-ratio-exclude-buffer-names