Update README.md travis badge to point to the right one

herbelin · Dec 30, 2017 · 6aadaa1 · 6aadaa1
1 parent a9c290d
commit 6aadaa1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 ### **Equations** - a function definition plugin.
 
-[![Build Status](https://travis-ci.org/mattam82/Coq-Equations.svg?branch=8.7)](https://travis-ci.org/mattam82/Coq-Equations)
+[![Build Status](https://travis-ci.org/mattam82/Coq-Equations.svg?branch=8.8%2Balpha)](https://travis-ci.org/mattam82/Coq-Equations/branches)
 
 Copyright 2009-2017 Matthieu Sozeau `matthieu.sozeau@inria.fr`  
 Copyright 2015-2017 Cyprien Mangin `cyprien.mangin@m4x.org`