From 88c5df0a24f85fdd6692bdca6646ff9170ae79ec Mon Sep 17 00:00:00 2001
From: William DeMeo <williamdemeo@gmail.com>
Date: Tue, 3 Dec 2024 12:35:04 -0700
Subject: [PATCH] bugfix

---
 src/latex/agda-latex-macros.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/latex/agda-latex-macros.sty b/src/latex/agda-latex-macros.sty
index aacc49f07..067aa940a 100644
--- a/src/latex/agda-latex-macros.sty
+++ b/src/latex/agda-latex-macros.sty
@@ -171,7 +171,7 @@
 \newcommand{\Coin}{\AgdaFunction{Coin}\xspace}
 \newcommand{\Computational}{\AgdaRecord{Computational}\xspace}
 \newcommand{\Credential}{\AgdaFunction{Credential}\xspace}
-\newcommand{\CredentialType}{\AgdaDataType{Credential}\xspace}
+\newcommand{\CredentialType}{\AgdaDatatype{Credential}\xspace}
 \newcommand{\Crypto}{\AgdaRecord{Crypto}\xspace}
 \newcommand{\canVote}{\AgdaFunction{canVote}\xspace}
 \newcommand{\case}{\AgdaFunction{case}\xspace}