From 5cd0ce14b0de9c822c4dd32a2fe793778a4e106c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 17 Mar 2022 14:37:57 +0100
Subject: [PATCH] fix mempool test to use __has_include

This follows 6b88d6f35b2e.

* tests/core/mempool.cc: Use __has_include too.
---
 tests/core/mempool.cc | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/tests/core/mempool.cc b/tests/core/mempool.cc
index 0dae6ce0e..9d3610df7 100644
--- a/tests/core/mempool.cc
+++ b/tests/core/mempool.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2016, 2018 Laboratoire de Recherche et Développement
-// de l'Epita.
+// Copyright (C) 2016, 2018, 2022 Laboratoire de Recherche et
+// Développement de l'Epita.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -103,7 +103,7 @@ namespace
 int main()
 {
 
-#ifndef HAVE_VALGRIND_MEMCHECK_H
+#if !__has_include(<valgrind/memcheck.h>)
   return 77;
 #endif
 
@@ -186,4 +186,3 @@ int main()
 
   return 0;
 }
-