Update larabot badge URL

romac · romac · commit a94b1e666477 · 2019-06-19T23:15:02.000+02:00
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-Scala SMT-LIB [![Build Status](http://laraquad4.epfl.ch:9000/regb/scala-smtlib/status/master)](http://laraquad4.epfl.ch:9000/regb/scala-smtlib)
+Scala SMT-LIB [![Build Status](http://laraquad4.epfl.ch:9000/epfl-lara/scala-smtlib/status/master)](http://laraquad4.epfl.ch:9000/epfl-lara/scala-smtlib)
 =============
 
 Scala SMT-LIB is a lightweight, no dependency, abstraction over the

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Scala SMT-LIB [![Build Status](http://laraquad4.epfl.ch:9000/regb/scala-smtlib/status/master)](http://laraquad4.epfl.ch:9000/regb/scala-smtlib)`
	`1`	`+Scala SMT-LIB [![Build Status](http://laraquad4.epfl.ch:9000/epfl-lara/scala-smtlib/status/master)](http://laraquad4.epfl.ch:9000/epfl-lara/scala-smtlib)`
`2`	`2`	`=============`
`3`	`3`
`4`	`4`	`Scala SMT-LIB is a lightweight, no dependency, abstraction over the`