Fix keybinding for agda's auto

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-08-11 12:34:01 +07:00 · 2019-08-11 12:34:01 +07:00 · d29431d10f
commit d29431d10f
parent e498a7e2cb
1 changed files with 1 additions and 1 deletions
--- 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