From 059d2d4ea205b05e4756a94b91e89f87cf139705 Mon Sep 17 00:00:00 2001
From: Elizabeth Polgreen <epolgreen@gmail.com>
Date: Mon, 29 Apr 2024 17:15:16 +0100
Subject: [PATCH] Update test.yml

---
 .github/workflows/test.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 932c01f4..862b452d 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -121,8 +121,7 @@ jobs:
        
     - name: Add Z3 to Path
       run: |
-       pwd
-       ls /usr/*
+      mkdir /usr/local/lib
        echo "$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_PATH
        echo "LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$GITHUB_WORKSPACE/z3/bin/" >> $GITHUB_ENV
        ./setup-z3-macos.sh