summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--notes-inf105.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex
index 4491278..b1d7737 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -29,7 +29,7 @@
\theoremstyle{definition}
\newtheorem{comcnt}{Tout}[subsection]
\newcommand\thingy{%
-\refstepcounter{comcnt}\smallbreak\noindent\textbf{\thecomcnt.} }
+\refstepcounter{comcnt}\smallskip\noindent\textbf{\thecomcnt.} }
\newtheorem{defn}[comcnt]{Définition}
\newtheorem{prop}[comcnt]{Proposition}
\newtheorem{lem}[comcnt]{Lemme}