X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-proof_by_cases.tex;fp=mjo-proof_by_cases.tex;h=0050a562c13719340f74c03019d91b7c4c8a468c;hp=3f803b8296be53eec992cce11113006fc60e0832;hb=0eb66e736e01afbfafb356135b1031d823a397bc;hpb=98ccfbccb274901a2504e559f0e88372d11d5a3c

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index 3f803b8..0050a56 100644
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -20,7 +20,7 @@
 % another.
 \newlist{pcases}{enumerate}{1}
 \setlist[pcases]{
-  label=\textbf{Case~\arabic*}~(\protect\thiscase)\textbf{:},
+  label=\textbf{Case~\arabic*}:~\protect\thiscase\textbf{.},
   ref=\arabic*,
   align=left,
   leftmargin=0pt,