From 844f29f815257c68adc1760d340197f4c12e15cf Mon Sep 17 00:00:00 2001
From: Martin Elsman <martin.elsman@gmail.com>
Date: Mon, 18 Nov 2024 20:53:13 +0100
Subject: [PATCH] jump macos

---
 .github/workflows/main.yml | 1 +
 src/Runtime/Profiling.h    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ba404ae3a..b21e3595f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -61,6 +61,7 @@ jobs:
           brew install gcc autoconf make
           brew tap homebrew/cask
           brew install --cask phantomjs
+	  gcc --version
 
       - name: Install dependencies (macos, mlton)
         if: ${{ env.OS == 'darwin' && matrix.mlcomp == 'mlton' }}
diff --git a/src/Runtime/Profiling.h b/src/Runtime/Profiling.h
index 7d80610e5..ec6d6a4af 100644
--- a/src/Runtime/Profiling.h
+++ b/src/Runtime/Profiling.h
@@ -133,7 +133,7 @@ extern long raised_exn_overflow_prof;
 
 #else /*PROFILING not defined */
 
-void queueMark();  /* does nothing */
+void queueMark(StringDesc *str);  /* does nothing */
 
 #endif /*PROFILING*/