From f7850266d5c7607f6ad4de9934a06cecdcc3532f Mon Sep 17 00:00:00 2001
From: Nguyen Anh Quynh <aquynh@gmail.com>
Date: Wed, 14 May 2014 22:03:06 +0800
Subject: [PATCH] x86: enable AT&T code only when DIET mode is off

---
 arch/X86/X86ATTInstPrinter.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/X86/X86ATTInstPrinter.c b/arch/X86/X86ATTInstPrinter.c
index d4aeba89..d2fa43b8 100644
--- a/arch/X86/X86ATTInstPrinter.c
+++ b/arch/X86/X86ATTInstPrinter.c
@@ -15,7 +15,8 @@
 /* Capstone Disassembly Engine */
 /* By Nguyen Anh Quynh <aquynh@gmail.com>, 2013-2014 */
 
-#ifdef CAPSTONE_HAS_X86
+// this code is only relevant when DIET mode is disable
+#if defined(CAPSTONE_HAS_X86) && !defined(CAPSTONE_DIET)
 
 #include <ctype.h>
 #include <inttypes.h>