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

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index d853293..247d280 100644
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -8,6 +8,9 @@
 %
 % Case 2 (x < 0): derp.
 %
+\ifx\havemjoproofbycases\undefined
+\def\havemjoproofbycases{1}
+
 
 % Used below to define pcases. The ``loadonly'' parameter prevents
 % a very bad interaction with the beamer document class.
@@ -26,7 +29,7 @@
 %
 \newlength{\singleblskip}
 \setlength{\singleblskip}{
-  \baselineskip / \real{
+  \baselineskip/\real{
       \if\relax\detokenize{\baselinestretch}\relax
         \baselinestretch%
       \else
@@ -59,3 +62,6 @@
   \def\thiscase{#1}%
   \item \hfill\par\vspace{\singleblskip}
 }
+
+
+\fi