From 482c8ecc7758973762a4768d67b173d9ebcda114 Mon Sep 17 00:00:00 2001
From: Jonathan Prieto-Cubides <jonathan.cubides@uib.no>
Date: Wed, 6 Apr 2022 16:46:08 +0200
Subject: [PATCH] Fix typo

---
 minijuvix-mode/minijuvix-highlight.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/minijuvix-mode/minijuvix-highlight.el b/minijuvix-mode/minijuvix-highlight.el
index 638b16de5..1e4556413 100644
--- a/minijuvix-mode/minijuvix-highlight.el
+++ b/minijuvix-mode/minijuvix-highlight.el
@@ -4,7 +4,7 @@
   "Syntax highlighting for MiniJuvix."
   :group 'minijuvix)
 
-(defgroup agda2-highlight-faces nil
+(defgroup minijuvix-highlight-faces nil
   "Faces used to highlight MiniJuvix code."
   :group 'minijuvix-highlight)