From 5e1b92019be7fc3e7eba9821d02d6d58625c1659 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Tue, 3 Feb 2015 02:58:49 +0000
Subject: [PATCH] nullptr

---
 H/Yap.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/H/Yap.h b/H/Yap.h
index 18f5113d3..6b3b13674 100755
--- a/H/Yap.h
+++ b/H/Yap.h
@@ -115,7 +115,7 @@
  * Use C++11 nullptr if available; otherwise use a C++ typesafe template; and
  * for C, fall back to longs.  See bugs 547964 and 626472.
  */
-#ifndef HAVE_NULLPTR
+#if !defined(nullptr) && !defined(HAVE_NULLPTR)
 #ifndef __cplusplus
 # define nullptr ((void*)0)
 #elif defined(__GNUC__)