From 0ab1f5314ac810e5349e086cf638bb81367910a2 Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Tue, 2 Feb 2016 11:01:27 +0100
Subject: [PATCH] [README] Fix badge reference

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

diff --git a/README.md b/README.md
index a53434306..8b75da60d 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,8 @@
 Pinocchio
 ===========
 [![Build Status](https://travis-ci.org/stack-of-tasks/pinocchio.png?branch=master)](https://travis-ci.org/stack-of-tasks/pinocchio)
-[![Coverage Status](https://coveralls.io/repos/stack-of-tasks/pinocchio/badge.png)](https://coveralls.io/r/stack-of-tasks/pinocchio)
+[![Coverage Status](https://coveralls.io/repos/github/stack-of-tasks/pinocchio/badge.svg)](https://coveralls.io/github/stack-of-tasks/pinocchio)
+
 
 **Warning:** This repository contains [Git
 submodules][git-submodules]. Please clone this repository using the
-- 
GitLab