commit d85d75045cdd7e76998e382a435bced9f34b966c
author Billy Donahue <billy.donahue@gmail.com> Sat Jan 19 22:58:02 2019 -0500
committer Billy Donahue <BillyDonahue@users.noreply.github.com> Sun Jan 20 22:13:38 2019 -0500
tree 3ff33190212b9e0f806a24c728d23f7df0d16ade
parent 2b593a9da837337c8520507de38f8122b879eb68

Issue #872: add json/allocator.h in the amalgamated header.

I don't know why we didn't include this before.
It seems to work fine.

amalgamate.py

diff --git a/amalgamate.py b/amalgamate.py
index f4bff4d..c12215a 100644
--- a/amalgamate.py
+++ b/amalgamate.py
@@ -67,7 +67,7 @@
     header.add_text("/// to prevent private header inclusion.")
     header.add_text("#define JSON_IS_AMALGAMATION")
     header.add_file("include/json/version.h")
-    #header.add_file("include/json/allocator.h") # Not available here.
+    header.add_file("include/json/allocator.h")
     header.add_file("include/json/config.h")
     header.add_file("include/json/forwards.h")
     header.add_file("include/json/features.h")