Skip to content

Commit 60d4574

Browse files
authored
Update README.md
1 parent 74a7ae7 commit 60d4574

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
2-
![Build Status](https://travis-ci.com/SRI-CSL/yices2_java_bindings.svg?token=77vj4Wxx3rNcgSb3dqRC&branch=master)
2+
[![Build Status](https://travis-ci.com/SRI-CSL/yices2_java_bindings.svg?token=77vj4Wxx3rNcgSb3dqRC&branch=master)](https://travis-ci.com/SRI-CSL/yices2_java_bindings)
33

44
# Java Bindings for Yices 2
55

0 commit comments

Comments
 (0)