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

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