diff --git a/README.md b/README.md index 6cbeb4f5984..5faa6e3619b 100644 --- a/README.md +++ b/README.md @@ -197,7 +197,7 @@ See [``examples/python``](examples/python) for examples. ## System -[!System Diagram](https://github.com/Z3Prover/doc/blob/master/programmingz3/images/Z3Overall.jpg) +![System Diagram](https://github.com/Z3Prover/doc/blob/master/programmingz3/images/Z3Overall.jpg) ## Resources