From bf1adf019a1974c408e0feed04310f4e3abda7e9 Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Mon, 12 Jun 2023 19:56:31 +0200
Subject: [PATCH] use-package maude-mode

---
 init.org | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/init.org b/init.org
index 6278228..756d748 100644
--- a/init.org
+++ b/init.org
@@ -207,8 +207,7 @@
 
   (let* ((package--builtins nil)
          (packages
-          '(maude-mode           ; Emacs mode for the programming language Maude
-            minizinc-mode        ; Major mode for MiniZinc code
+          '(minizinc-mode        ; Major mode for MiniZinc code
             multiple-cursors     ; Multiple cursors for Emacs
             nano-modeline        ; N Λ N O modeline
             nano-theme           ; N Λ N O theme
@@ -1577,12 +1576,12 @@
 
    #+begin_src emacs-lisp
 
-   (add-hook 'maude-mode-hook
-             (lambda ()
-               (setq-local comment-start "---")))
-
-   (with-eval-after-load 'maude-mode
-    (add-to-list 'maude-command-options "-no-wrap"))
+   ;; Emacs mode for the programming language Maude
+   (use-package maude-mode
+     :defer t
+     :hook (maude-mode . (lambda () (setq-local comment-start "---")))
+     :config
+     (add-to-list 'maude-command-options "-no-wrap"))
 
    #+end_src