- library fixes:

[splint.git] / src / Headers / basic.h

diff --git a/src/Headers/basic.h b/src/Headers/basic.h
index b6007cd5991ed983e2bbd15cc6514d50f365251a..28fdd54132ced3da44909ad5a63750b172b046f3 100644 (file)
--- 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"