From f1bc3b99bf38a1cae5aea0edeea49da80225f35c Mon Sep 17 00:00:00 2001
From: Robin Salkeld <salkeldr@amazon.com>
Date: Thu, 16 Nov 2023 15:10:55 -0800
Subject: [PATCH] Typo

---
 .github/workflows/standard-libraries.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/standard-libraries.yml b/.github/workflows/standard-libraries.yml
index 7fc7c950110..1b3f67aed61 100644
--- a/.github/workflows/standard-libraries.yml
+++ b/.github/workflows/standard-libraries.yml
@@ -30,7 +30,7 @@ jobs:
       - name: Build Dafny
         run: dotnet build Source/Dafny.sln
       - name: Get Z3
-        run: make z3-ubuntu
+        run: make z3-mac
       - run: npm install bignumber.js
       - name: Test DafnyStandardLibraries
         run: make -C Source/DafnyStandardLibraries all