From f8beeab51701b4334d2982ab0442952b95392408 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 19 Dec 2025 14:13:14 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 doc/mk_params_doc.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/mk_params_doc.py b/doc/mk_params_doc.py
index 2026b84ec..849ce38bc 100644
--- a/doc/mk_params_doc.py
+++ b/doc/mk_params_doc.py
@@ -9,6 +9,7 @@ import sys
 import re
 import os
 
+build_env = dict(os.environ)
 BUILD_DIR = '../' + build_env.get('Z3BUILD', 'build')
 OUTPUT_DIRECTORY=os.path.join(os.getcwd(), 'api')