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