From b2123136b1f07b2d46a19b5373e8339f2efbfe68 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Mon, 26 Nov 2018 09:20:04 +0700
Subject: [PATCH] Remove unused DEFINE_VOID macro.

---
 src/api/z3_macros.h | 4 ----
 1 file changed, 4 deletions(-)

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