From a0b810f5205b5ed3212360936422c87eb4356a03 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Sat, 23 Jul 2016 14:07:40 +0200
Subject: [PATCH] Add travis build status to README

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

diff --git a/README.md b/README.md
index 0eec23c7..a8cb7975 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# MSAT
+# MSAT  [![Build Status](https://travis-ci.org/Gbury/mSAT.svg?branch=master)](https://travis-ci.org/Gbury/mSAT)
 
 MSAT is an OCaml library that features a modular SAT-solver and some
 extensions (including SMT). This is **work in progress**.