From 22dc505a49983d36f6da74c130fa04702fd12843 Mon Sep 17 00:00:00 2001
From: Nicolas van Kempen <nvankempen@umass.edu>
Date: Mon, 5 Feb 2024 19:50:06 -0500
Subject: [PATCH] Fix MacOS issue

---
 .github/workflows/regression-generate.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/regression-generate.yml b/.github/workflows/regression-generate.yml
index 1894907..5287857 100644
--- a/.github/workflows/regression-generate.yml
+++ b/.github/workflows/regression-generate.yml
@@ -58,6 +58,7 @@ jobs:
     - name: Install CWhy
       run: |
         python3 -m pip install --upgrade pip
+        pip install --upgrade setuptools # https://stackoverflow.com/questions/7446187
         python3 -m pip install .
 
     - name: Generate current prompts