From dddc291d2d2926f55ec2deb42fb8830e5470b668 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Fri, 14 Mar 2014 14:59:31 +0100
Subject: [PATCH] Add Travis badge

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 72753e735..fcb5f8319 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-Leon 2.3
+Leon 2.3 [![Build Status](https://travis-ci.org/epfl-lara/leon.png?branch=master)](https://travis-ci.org/epfl-lara/leon)
 ==========
 
 Getting Started
-- 
GitLab