From edc39c1fa18daf306b68db8683e4f3a824969087 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 29 Apr 2015 00:22:37 +0200
Subject: [PATCH] Fix warnings

---
 doc/limitations.rst | 1 +
 doc/options.rst     | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/limitations.rst b/doc/limitations.rst
index 88ea42236..374225b0b 100644
--- a/doc/limitations.rst
+++ b/doc/limitations.rst
@@ -51,6 +51,7 @@ By default Leon assumes that unbounded data types can
 be arbitrarily large and that all well-founded recursive
 functions have enough stack space to finish their computation.
 Thus a verified program may crash at run-time due to:
+
   * stack overflow
   * heap overflow
 
diff --git a/doc/options.rst b/doc/options.rst
index 909bdacd0..96dfcb94f 100644
--- a/doc/options.rst
+++ b/doc/options.rst
@@ -14,7 +14,7 @@ you can do it by using a single dash ``-``. For example, ``-Ybrowse:typer``.
 The rest of this section presents all command-line options that Leon recognizes.
 
 Choosing which Leon feature to use
----------------------------
+----------------------------------
 
 The first group of options determine which feature of Leon will be used.
 These options are mutually exclusive. By default, ``--verify`` is chosen.
-- 
GitLab