1 files changed, 1 insertions, 1 deletions
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}