From 07472d25637be307bdd6d23ec2568ba3b88e3ef1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 26 Jul 2019 16:47:55 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6cbeb4f59..5faa6e361 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