X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/8845f0ad0e1fda56b399e8c451712a1cd6b3afe4..039eee12186be85d7a74a188489abd12bfe554fd:/stopping.tex

diff --git a/stopping.tex b/stopping.tex
index 19f1feb..d095a3a 100644
--- a/stopping.tex
+++ b/stopping.tex
@@ -246,4 +246,4 @@ Theorem~\ref{prop:stop} is a direct application of
 lemma~\ref{prop:lambda} and~\ref{lm:stopprime}.
 \end{proof}
 
-\end{document}
+
