Added missing header to get rid of splintme errors.

[splint.git] / src / clabstract.c

diff --git a/src/clabstract.c b/src/clabstract.c
index 3798ba6d945727617d53527f26506d45fc4607cb..26c52ff5318b37f2a18e8e7dfe24efdbdcdcb8a0 100644 (file)
--- a/src/clabstract.c
+++ b/src/clabstract.c
@@ -36,6 +36,8 @@
 # include "structNames.h"
 # include "nameChecks.h"
 
+# include "cscannerHelp.h"
+
 # ifdef SANITIZER
 # include "sgrammar_tokens.h"
 # else