Got rid of clang-specific define

harmonylang · Jan 9, 2025 · c95032c · c95032c
1 parent 621ed98
commit c95032c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 15 deletions.
diff --git 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
@@ -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__