From 4b59b034b5a0dd885f2a5ced02b56c8dc56b232e Mon Sep 17 00:00:00 2001
From: Regis Blanc <regwblanc@gmail.com>
Date: Fri, 24 Apr 2015 19:14:24 +0200
Subject: [PATCH] fix warning

---
 doc/intro.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/intro.rst b/doc/intro.rst
index f25e9a3a4..57d19eac1 100644
--- a/doc/intro.rst
+++ b/doc/intro.rst
@@ -68,7 +68,7 @@ Program Synthesis
 
 
 Program Repair
--------------
+--------------
 
 Leon can repair buggy :ref:`Pure Scala <purescala>` programs.
 Given a specification and an erroneous implementation, Leon will
-- 
GitLab