X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-proof_by_cases.tex;h=ae4b0fc3da355637dc9f5966c52a5e6db8bf70f0;hp=d853293d3416b7f5d25f4668e03570ed48a12ab4;hb=5f2d44683ba6cb73b45d572724e827f70641660d;hpb=a8d9b8e1e4f5c79b50cc57121dc974fc222e47a8

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index d853293..ae4b0fc 100644
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -26,7 +26,7 @@
 %
 \newlength{\singleblskip}
 \setlength{\singleblskip}{
-  \baselineskip / \real{
+  \baselineskip/\real{
       \if\relax\detokenize{\baselinestretch}\relax
         \baselinestretch%
       \else