From c4857c8a39f3aed3c47b0b83aada2f8f6492683d Mon Sep 17 00:00:00 2001
From: Jonas Kastberg Hinrichsen <jihgfee@gmail.com>
Date: Mon, 16 May 2022 14:17:46 +0200
Subject: [PATCH] Renamed internal macro
---
tex/iris.sty | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tex/iris.sty b/tex/iris.sty
index 4c525a45d..9dbdc4842 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -344,12 +344,12 @@
\; #4 \;%
\copy1{#5}\copy2}
-\newcommand{\bracket}[4][]{%
+\newcommand{\irisbracketgen}[4][]{%
\setbox0=\hbox{$\mathsurround=0pt{#1}{#4}\mathstrut$}%
\scalerel*[1ex]{#2}{\copy0}%
{#4}%
\scalerel*[1ex]{#3}{\copy0}}
-\newcommand{\curlybracket}[2][]{\bracket[{#1}]\{\}{#2}}
+\newcommand{\curlybracket}[2][]{\irisbracketgen[{#1}]\{\}{#2}}
\NewDocumentCommand \hoare {m m m O{}}{
\curlybracket{#1}\spac #2 \spac \curlybracket{#3}_{#4}%
--
GitLab