From dea6552ef97d8d1b731bef17548d492e8b15566c Mon Sep 17 00:00:00 2001
From: Tomasz Brengos <47927235+iwashis@users.noreply.github.com>
Date: Thu, 24 Oct 2024 23:43:56 +0200
Subject: [PATCH] fix(agda): agda2-auto-maybe-all -> agda2-mimer-maybe-all

Fixes the broken Agda auto mode in Doom Emacs caused by the
introduction of mimer in Agda 2.7.0.

* modules/lang/agda/config.el (agda-auto-mode):
replaced agsy with mimer for auto mode call.
---
 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 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