X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700..f9264521e093e570a8831d5238ccc3bc20e01119:/src/Headers/basic.h

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index b6007cd..28fdd54 100644
--- a/src/Headers/basic.h
+++ b/src/Headers/basic.h
@@ -47,6 +47,7 @@
 # include "fileLib.h"
 # include "inputStream.h"
 # include "qualList.h"
+# include "pointers.h"
 
 # ifndef NOLCL
 # include "code.h"