From c0ee4e96133ced638cc70240952f69ddb33fdd6d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 14 Nov 2023 10:02:24 -0800
Subject: [PATCH] pip install importlib resources

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 12cdfa040..eebff5803 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -104,7 +104,6 @@ stages:
         set -e
         eval `opam config env` 
         cd doc
-	pip3 install importlib-resources
         python3 mk_api_doc.py --mld --z3py-package-path=../build/python/z3
         python3 mk_params_doc.py 
         mkdir api/html/ml