From 006ab9142be49b0a4dfa4e7129b8c30c7784fcbd Mon Sep 17 00:00:00 2001
From: Jonas Kastberg Hinrichsen <jihgfee@gmail.com>
Date: Mon, 16 May 2022 14:16:08 +0200
Subject: [PATCH] Removed unused angle bracket macro

---
 tex/iris.sty | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tex/iris.sty b/tex/iris.sty
index 7490f6ea2..4c525a45d 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -350,7 +350,6 @@
   {#4}%
   \scalerel*[1ex]{#3}{\copy0}}
 \newcommand{\curlybracket}[2][]{\bracket[{#1}]\{\}{#2}}
-\newcommand{\anglebracket}[2][]{\bracket[{#1}]\langle\rangle{#2}}
 
 \NewDocumentCommand \hoare {m m m O{}}{
 	\curlybracket{#1}\spac #2 \spac \curlybracket{#3}_{#4}%
-- 
GitLab