X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README.md;h=8272a80860e3c642f440935dd88cca845504ba2c;hb=c1a4d7c56d0b0f380240319b056398f74c5ab0d1;hp=f57ccbedf3fefae8ce70663067938a8f18c9c496;hpb=fb15fd528aa2ace1536fe16f12b5d973b2c4f049;p=jpf-core.git

diff --git a/README.md b/README.md
index f57ccbe..8272a80 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-# 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)
 
 An extensible software model checking framework for Java bytecode programs