diff --git a/harmony_model_checker/charm/global.c b/harmony_model_checker/charm/global.c
index 6bab44cc..01eb8a9a 100644
--- a/harmony_model_checker/charm/global.c
+++ b/harmony_model_checker/charm/global.c
@@ -31,13 +31,3 @@ void panic(char *s){
     fprintf(stderr, "Panic: %s\n", s);
     exit(1);
 }
-
-#ifdef __APPLE__
-void *my_aligned_alloc(size_t alignment, size_t size){
-    if (__builtin_available(macOS 10.15, *)) {
-        return aligned_alloc(alignment, size);
-    }
-    panic("aligned_alloc not available in current version of MacOSX");
-    return NULL;
-}
-#endif
diff --git a/harmony_model_checker/charm/head.h b/harmony_model_checker/charm/head.h
index 0628d9b1..9110903a 100644
--- a/harmony_model_checker/charm/head.h
+++ b/harmony_model_checker/charm/head.h
@@ -17,13 +17,8 @@
 #define HEAP_ALLOC
 #else // _WIN32
 #define ALIGNED_ALLOC
-
 #include <stdlib.h>
-#ifdef __APPLE__
-void *my_aligned_alloc(size_t alignment, size_t size);
-#else
 #define my_aligned_alloc(a, s)  aligned_alloc(a, s)
-#endif // __APPLE__
 #endif // _WIN32
 
 #ifdef __linux__