diff --git a/src/api/z3_macros.h b/src/api/z3_macros.h index c74144e90..d1ac18804 100644 --- a/src/api/z3_macros.h +++ b/src/api/z3_macros.h @@ -19,7 +19,3 @@ Copyright (c) 2015 Microsoft Corporation #ifndef DEFINE_TYPE #define DEFINE_TYPE(T) typedef struct _ ## T *T #endif - -#ifndef DEFINE_VOID -#define DEFINE_VOID(T) typedef void* T -#endif