From 34128fa0fa50be161bf8db783c9dd597b171614f Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Wed, 16 Aug 2017 00:22:32 -0400
Subject: [PATCH 4/8] Remove BoolPtr type

Not used and doesn't seem useful.
---
 src/include/c.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/include/c.h b/src/include/c.h
index 9472afd8b9..0f078ea5f0 100644
--- a/src/include/c.h
+++ b/src/include/c.h
@@ -211,8 +211,6 @@ typedef char bool;
 #endif
 #endif							/* not C++ */
 
-typedef bool *BoolPtr;
-
 /*
  * NULL
  *		Null pointer.
-- 
2.14.1