From 5d380d666f5e21daad0dc1168a64ce52e1ce7841 Mon Sep 17 00:00:00 2001
From: Mike Auty <mike.auty@gmail.com>
Date: Sat, 27 Apr 2019 22:25:41 +0100
Subject: [PATCH] Make sure we convert names for pointers.

---
 development/pdbconv.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/development/pdbconv.py b/development/pdbconv.py
index 0e57cbb61..e788702bd 100644
--- a/development/pdbconv.py
+++ b/development/pdbconv.py
@@ -125,7 +125,7 @@ class PDBConvertor:
             # We raise a KeyError, because we've been asked about a type that isn't a pointer
             raise KeyError
         self._seen_ctypes.add(base_type)
-        return {"kind": "pointer", "subtype": {"kind": "base", "name": base_type}}
+        return {"kind": "pointer", "subtype": {"kind": "base", "name": self.ctype[base_type]}}
 
     def read_pdb(self) -> Dict:
         """Reads in the PDB file and forms essentially a python dictionary of necessary data"""