From c1fa8444606fd373c052c877f6e69fa205941ba8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 17 Oct 2019 10:01:11 -0700 Subject: [PATCH] format Signed-off-by: Nikolaj Bjorner --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6a5024a56..c9eb1da25 100644 --- a/README.md +++ b/README.md @@ -106,7 +106,7 @@ Z3 has bindings for various programming languages. ### ``.NET`` -You can install a nuget package for the latest release Z3 from [nuget.org][https://www.nuget.org/packages/Microsoft.Z3.x64/]. +You can install a nuget package for the latest release Z3 from [nuget.org](https://www.nuget.org/packages/Microsoft.Z3.x64/). Use the ``--dotnet`` command line flag with ``mk_make.py`` to enable building these.