From 0ad92137a909aa4c432bba6791df11a800742943 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 16 Sep 2014 19:13:09 +0100
Subject: [PATCH] WIN32 compilation

---
 H/Yap.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/H/Yap.h b/H/Yap.h
index d31806670..608956111 100755
--- a/H/Yap.h
+++ b/H/Yap.h
@@ -110,8 +110,12 @@ typedef int _Bool;
 #define true 1
 #endif
 
+#ifndef TRUE
 #define	 TRUE	true
+#endif
+#ifndef FALSE
 #define	 FALSE	false
+#endif
 
 /* Microsoft's Visual C++ Compiler */
 #ifdef _MSC_VER   /* adjust a config.h from mingw32 to work with vc++ */