From de463fdc28ca9e32627818f508509d870c8a948b Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 6 May 2025 16:00:11 +0100
Subject: Change signature of `\casetm`.

---
 main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 09e8bed..911399f 100644
--- a/main.tex
+++ b/main.tex
@@ -287,7 +287,7 @@
 
 %% Sums
 \newcommand\matchtm[2]{\mathsf{match}~{#1}~\mathsf{with}~{#2}}
-\newcommand\casetm[4]{\matchtm{#1}{\rangeover{\tuple{{#4}, {#2}}.~{#3}}{#4}}}
+\newcommand\casetm[4]{\matchtm{#1}{\rangeover{{#2}.~{#3}}{#4}}}
 
 \ExplSyntaxOn
 \NewDocumentCommand \squid_matchpart:nn {m m m}
-- 
cgit v1.2.3