From: Jeanderson Barros Candido <jeandersonbc@gmail.com>
Date: Wed, 20 Jun 2018 03:15:55 +0000 (-0300)
Subject: Update README.md
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=a532709dad2a4425e911478253132113e435dc6c

Update README.md
---

diff --git a/README.md b/README.md
index b823cb0..ef16bdc 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
-# Java PathFinder [![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
+# Java PathFinder
+[![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core)
 [![codecov](https://codecov.io/gh/jeandersonbc/jpf-core/branch/gradle/graph/badge.svg)](https://codecov.io/gh/jeandersonbc/jpf-core)
 
-
 An extensible software model checking framework for Java bytecode programs
 
 ## General Information about JPF