From 8d3622f93953c254087065d070be96b8b53dff17 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= <zbyszek@in.waw.pl>
Date: Tue, 9 Oct 2018 15:53:35 +0200
Subject: Move use_pool() to mempool.c and rename to mempool_enabled()

The only user is in hashmap.c, but it's a mempool thing.

(cherry picked from commit 7c48ea02800782651b7da373c6165abb052f1382)
---
 src/basic/env-util.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/basic/env-util.h')

diff --git a/src/basic/env-util.h b/src/basic/env-util.h
index da76e60ca..486056a10 100644
--- a/src/basic/env-util.h
+++ b/src/basic/env-util.h
@@ -4,6 +4,7 @@
 #include <stdbool.h>
 #include <stddef.h>
 #include <stdio.h>
+//#include <string.h>
 
 #include "macro.h"
 
-- 
cgit v1.2.3