From 9f99bf46582312a94944e45507b98b630be1111d Mon Sep 17 00:00:00 2001
From: Twan van Laarhoven <twanvl@gmail.com>
Date: Mon, 4 May 2020 00:44:50 +0200
Subject: [PATCH] There is little point to a pool allocator with shared_ptr,
 since ref counters are still allocated as well.

---
 src/script/value.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/script/value.cpp b/src/script/value.cpp
index 6458bdd6..ebee11a5 100644
--- a/src/script/value.cpp
+++ b/src/script/value.cpp
@@ -202,7 +202,9 @@ ScriptValueP rangeIterator(int start, int end) {
 
 // ----------------------------------------------------------------------------- : Integers
 
-#define USE_POOL_ALLOCATOR
+#ifdef USE_INTRUSIVE_PTR
+  #define USE_POOL_ALLOCATOR
+#endif
 
 // Integer values
 class ScriptInt : public ScriptValue {