diff --git a/README.md b/README.md index 75a85cb9888cecb187c33875af524f686463aab7..99777b1df39688d68fb7736c1c7f4f9dc9245868 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -<img src="logo.png"> +<img src="https://github.com/bendisposto/prob/raw/develop/logo.png" width="500"> # The ProB Model Checker and Animator