From d15de65851eb86a377e2051ee71218ba5bae5b03 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 5 Jan 2026 07:29:51 -0800 Subject: [PATCH] Fix link formatting for AIX build settings --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6cbe15dcb..bd8b3165b 100644 --- a/README.md +++ b/README.md @@ -232,7 +232,7 @@ to Z3's C API. For more information, see [MachineArithmetic/README.md](https://g ### AIX -[https://github.com/Z3Prover/z3/pull/8113](Build settings for AIX are described here.) +[Build settings for AIX are described here.](https://github.com/Z3Prover/z3/pull/8113) ## System Overview