From ff3cf28484ec6bffeecd14939e31df5874dacaef Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 15 Nov 2021 21:39:37 -0500
Subject: [PATCH] rename a command that conflicts with siunitx.sty
---
tex/iris.sty | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tex/iris.sty b/tex/iris.sty
index 7f9a448d2..7d29b2905 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -420,7 +420,7 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\unittt}{()}
-\newcommand{\unit}{1}
+\newcommand{\unitty}{1}
% Agreement
\newcommand{\agm}{\ensuremath{\textdom{Ag}}}
--
GitLab