From d29431d10f35ae7ac594b2f23fff8846650b506a Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Sun, 11 Aug 2019 12:34:01 +0700
Subject: [PATCH] Fix keybinding for agda's auto

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
---
 modules/lang/agda/config.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
index 2341d98fb..715e33658 100644
--- a/modules/lang/agda/config.el
+++ b/modules/lang/agda/config.el
@@ -18,7 +18,7 @@
         ","   #'agda2-goal-and-context
         "="   #'agda2-show-constraints
         "SPC" #'agda2-give
-        "a"   #'agda2-auto
+        "a"   #'agda2-auto-maybe-all
         "b"   #'agda2-previous-goal
         "c"   #'agda2-make-case
         "d"   #'agda2-infer-type-maybe-toplevel