From f6dbc00bc4abb6790f6bfe31f254213c06c1dba8 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Wed, 22 Aug 2018 03:53:19 +0200 Subject: [PATCH] Fix agda-mode executable typo --- 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 6166727b9..cd355d43c 100644 --- a/modules/lang/agda/config.el +++ b/modules/lang/agda/config.el @@ -1,7 +1,7 @@ ;;; lang/agda/config.el -*- lexical-binding: t; -*- (defvar +agda-dir - (when (executable-find "adga-mode") + (when (executable-find "agda-mode") (file-name-directory (shell-command-to-string "agda-mode locate"))) "TODO")